Binaries
coq
(
coq_8.9.1-2_armhf.deb
)
SHA1: 14b4201a0a56cf499125e8b4bdf5775a2d85d263
SHA256: 7cfa3446728319aa01bfa90c40f3eecc4d2e8ca852c1fe2dda5c528b742e5947
Size: 60,851,580 bytes
SHA1: 7bc8c526f87a45f7ccab2bc3e947cc82edec0a06
SHA256: bc320e71e5c08c02218fbc8c13b02887adca28be44803f5c76030865045422aa
Size: 20,364,752 bytes
SHA1: 18c7a62434ff11cbeb1bca8ec7af4ec178ba34b5
SHA256: fab8b4d46e67782ecbc3cba2c94a729a71123f0c3cf5c171d1f877113a5c9443
Size: 5,608,860 bytes
SHA1: 62473615df5f1e129e10cad70dbe24618cc1ca41
SHA256: 33a5230a043fb879883f0e3f07f1bd078c8b1e03b7c1afe4310d8090fb3eb7ea
Size: 14,788,460 bytes
Other checksums
libcoq-ocaml-dbgsym_8.9.1-2_armhf.deb
SHA1: dbc60311386c29fe06a33fb835f49cd8dd5b9c3c
Size: 500,652 bytes
coq-dbgsym_8.9.1-2_armhf.deb
SHA1: 036d70bd3306ae27c43ce7c0d34c08370d852617
Size: 3,672,420 bytes