diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-11-19 20:47:00 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-11-19 20:52:08 +0100 |
| commit | 6463bc79f49c4f73f648fb510a867faec74c5e0e (patch) | |
| tree | 0595111d65eb4ae605d7c9c574710153a9e8c521 /sci-mathematics | |
| parent | sci-mathematics/coq-serapi: drop old 0.19.0 (diff) | |
| download | gentoo-6463bc79f49c4f73f648fb510a867faec74c5e0e.tar.gz gentoo-6463bc79f49c4f73f648fb510a867faec74c5e0e.tar.bz2 gentoo-6463bc79f49c4f73f648fb510a867faec74c5e0e.zip | |
dev-ml/coq-menhirlib: drop old 20231231-r1
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics')
0 files changed, 0 insertions, 0 deletions