Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
aboutsummaryrefslogtreecommitdiff
path: root/sci-mathematics/gappalib-coq/Manifest
blob: aaea09aac41d84656dead7eb4989fabe1653ac10 (plain) 
1

DIST gappalib-coq-1.4.6.tar.gz 114284 BLAKE2B 2c1b38b324786f20d7503d1c2243b95b7f8b090068563120669de37ef6cd5dc4fa479b5f3e0559372f4d1fdafa833619191c73780adad45056972108a32e1d1e SHA512 bb9c431d320d9c66998ec02ba7d459ee3f00cb7b16f89e57f3d7eb4b89cd3c9254e98e3906a8dfac31f73e5a32918ad12eaeaf7504750d3bfdce878913b745d3