mirrors/gentoo-ebuilds
3
0
Fork 0
mirror of https://anongit.gentoo.org/git/repo/gentoo.git synced 2025-07-21 14:38:43 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions
gentoo-ebuilds/dev-lang/dafny-bin/Manifest
Maciej Barć 5dc26d661c
dev-lang/dafny-bin: drop old 4.9.1 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2025-03-15 20:55:36 +01:00

1 line
321 B
Text
Raw Permalink Blame History

DIST dafny-4.10.0-x64-ubuntu-20.04.zip 61352501 BLAKE2B 68227a1566e49a52b9159ab0d7ceaa4369fe0a2a18d97495b865b5d25507399a1e9753244fba19035231e4e0dd130881b0854479944479b8bed32c959c38a4ed SHA512 51929386f27841b4302b1e00865986b4aeea6205852ce7c90398a71a820dd334d3f71cf26255daf3a9a75fb4cc1bb84491165c77fd10ffaa35a267942294fd4b
Reference in a new issue View git blame Copy permalink