Package not installed if build script not found, but remnants confuse PackageManager
#96
Labels
bug
Something isn't working
PackageManager
#96
I just tried to recreate #95 locally and I get the following where I try to install
io-4.7.2
this seems to fail (although this isn't explicitly mentioned below), but then when I try to updateio
again, I'm told that version 4.7.2 is already installed (which it isn't). Just for the record, when I restart GAP, IO version 4.7.1 is loaded and not 4.7.2.The text was updated successfully, but these errors were encountered: