Files
gentoo/dev-gap
Michael Orlitzky 4c82c2a0c6 dev-gap/edim: rebuild for GAP up/downgrades
This package actually doesn't crash after the GAP 4.12 <-> 4.13
up/downgrade, but it still builds and installs a GAP kernel module
called ediv.so that probably does need to be rebuilt in general. Let's
play it safe.

Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
2024-02-20 18:40:23 -05:00
..
2024-01-22 06:29:06 -05:00
2024-01-22 06:28:58 -05:00
2024-01-22 06:29:10 -05:00
2024-01-22 06:29:23 -05:00
2024-01-22 06:29:12 -05:00
2024-01-22 06:29:24 -05:00
2024-01-22 06:29:11 -05:00
2024-01-22 06:29:24 -05:00