diff options
| author |   Alfred Wingate <parona@protonmail.com> | 2024-08-27 00:42:12 +0300 |
|---|---|---|
| committer |   Arsen Arsenović <arsen@gentoo.org> | 2024-09-18 15:06:35 +0200 |
| commit | a6568c9f6325040a6c22119024a3a318bb4a52b8 (patch) | |
| tree | bc87db845d7f2528300a9f4fecfb81cefec20f6b /sci-mathematics/gappalib-coq | |
| parent | dev-scheme/guile-gnutls: switch to new guile mechanism (diff) | |
| download | gentoo-a6568c9f6325040a6c22119024a3a318bb4a52b8.tar.gz gentoo-a6568c9f6325040a6c22119024a3a318bb4a52b8.tar.bz2 gentoo-a6568c9f6325040a6c22119024a3a318bb4a52b8.zip | |
dev-scheme/guile-hall: switch to new guile mechanism
Signed-off-by: Alfred Wingate <parona@protonmail.com>
Signed-off-by: Arsen Arsenović <arsen@gentoo.org>
Diffstat (limited to 'sci-mathematics/gappalib-coq')
0 files changed, 0 insertions, 0 deletions