diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-03-04 19:51:53 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-03-04 22:56:45 +0100 |
| commit | b2dc20f5c05947a000ec08c868e6e21e4d4507df (patch) | |
| tree | 926af3b083d11730b9e355a3e500fea7a0b33794 /sci-mathematics/coq-serapi | |
| parent | sci-mathematics/coq: drop old 8.17.1 (diff) | |
| download | gentoo-b2dc20f5c05947a000ec08c868e6e21e4d4507df.tar.gz gentoo-b2dc20f5c05947a000ec08c868e6e21e4d4507df.tar.bz2 gentoo-b2dc20f5c05947a000ec08c868e6e21e4d4507df.zip | |
sci-mathematics/coq: drop old 8.18.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/coq-serapi')
0 files changed, 0 insertions, 0 deletions