Timo Kaufmann 8cd7b5aab3 gap: 4r8p10 -> 4.10.0 (#53037) ... This new version also has a libgap replacement, so after the next sage update gap-libgap-compatible and libgap won't be necessary anymore.		2018-12-29 16:05:56 +01:00
..
default.nix