diff options
| author |   Michael Orlitzky <mjo@gentoo.org> | 2024-02-20 14:07:51 -0500 |
|---|---|---|
| committer | Michael Orlitzky <mjo@gentoo.org> | 2024-02-20 18:40:23 -0500 |
| commit | 4c82c2a0c6f8efb2389e373f567cc94936960550 (patch) | |
| tree | 22dbee5e7e85991d4d0d3f5c59a7afb7df3ed945 /dev-vcs/guilt/guilt-0.36-r1.ebuild | |
| parent | dev-gap/cvec: rebuild for GAP up/downgrades (diff) | |
| download | gentoo-4c82c2a0c6f8efb2389e373f567cc94936960550.tar.gz gentoo-4c82c2a0c6f8efb2389e373f567cc94936960550.tar.bz2 gentoo-4c82c2a0c6f8efb2389e373f567cc94936960550.zip | |
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>
Diffstat (limited to 'dev-vcs/guilt/guilt-0.36-r1.ebuild')
0 files changed, 0 insertions, 0 deletions