gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-01-06 02:17:34 -08:00
Code Issues Projects Releases Wiki Activity
gentoo/dev-ml/coq-menhirlib/Manifest
Maciej Barć 6463bc79f4
dev-ml/coq-menhirlib: drop old 20231231-r1 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2024-11-19 20:52:08 +01:00

2 lines
310 B
Plaintext
Raw Permalink Blame History

DIST menhir-20240715.tar.bz2 1245971 BLAKE2B b5f1a1fb234dd53e1d3f77b095e2721f8d2af354a3aa36da2b993dc9f699767bb7c98aae13316ff3405b8bcf80f9ba3addc824ace59f5548613f0f93d105adf7 SHA512 b18da35517702dbdab0d9f5819ad711f61f2ed13ec9e51db71b92fa2d6604cbf28aa6d684c36a41364324694ebbc5dc6aaed4dbb3779c14b399e49ded6fd5db6
Reference in New Issue View Git Blame Copy Permalink