diff options
| author |   Sam James <sam@gentoo.org> | 2024-10-05 10:50:51 +0100 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2024-10-05 10:50:51 +0100 |
| commit | 86d933be4d0b04b158e1c460fc24b2403014d303 (patch) | |
| tree | 58e60bd3684d9a8cbd625cc49224302ff344ce6b /app-emacs/proofgeneral | |
| parent | media-libs/netpbm: Stabilize 11.2.10 ppc64, #940841 (diff) | |
| download | gentoo-master.tar.gz gentoo-master.tar.bz2 gentoo-master.zip | |
Doesn't support 32-bit.
Closes: https://bugs.gentoo.org/940127
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'app-emacs/proofgeneral')
0 files changed, 0 insertions, 0 deletions