libgap, gap-libgap-compatible: remove
They were only used by sage, which now (since version 8.6) uses gaps own (new) libgap.
parent
e379ee67
Please register or sign in to comment
They were only used by sage, which now (since version 8.6) uses gaps own (new) libgap.