mirrors/gentoo-ebuilds
3
0
Fork 0
mirror of https://anongit.gentoo.org/git/repo/gentoo.git synced 2025-06-07 21:55:04 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions
gentoo-ebuilds/sci-mathematics/coq-mathcomp/Manifest
Maciej Barć 3ab6c9b10d
sci-mathematics/coq-mathcomp: drop old 1.17.0 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2024-03-04 22:56:45 +01:00

1 line
313 B
Text
Raw Permalink Blame History

DIST coq-mathcomp-1.19.0.tar.gz 1407548 BLAKE2B 733d537736a19a3667a51bbfe0b0c09838670761d8dd33853bfa3f320e29b71ec5703ed7ed752823c3696e7fad97443adb20a56e39fc9ec92b2ef5ae3d41a400 SHA512 ca2a24679418e551b6c9caee9799b2773ea2fb9986adc01c8e98f078dacb70bac872531f8f91fcf57ac04d8484783fc12589ae50a078f6b38beeb01fba6adbba
Reference in a new issue View git blame Copy permalink