Source
coq
Version
8.9.1-2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Fri, 8 Nov 2019 17:26:09 +0000
Build-Path
/build/coq-0sC6nI/coq-8.9.1

First submitted
Sat, 9 Nov 2019 00:18:26 +0000
SHA1 of .buildinfo
6781600e56f7a4e1d87a225e966dd08686d66550

Binaries

coq (coq_8.9.1-2_armhf.deb)
SHA1: 14b4201a0a56cf499125e8b4bdf5775a2d85d263
SHA256: 7cfa3446728319aa01bfa90c40f3eecc4d2e8ca852c1fe2dda5c528b742e5947

Size: 60,851,580 bytes
coq-theories (coq-theories_8.9.1-2_armhf.deb)
SHA1: 7bc8c526f87a45f7ccab2bc3e947cc82edec0a06
SHA256: bc320e71e5c08c02218fbc8c13b02887adca28be44803f5c76030865045422aa

Size: 20,364,752 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2_armhf.deb)
SHA1: 18c7a62434ff11cbeb1bca8ec7af4ec178ba34b5
SHA256: fab8b4d46e67782ecbc3cba2c94a729a71123f0c3cf5c171d1f877113a5c9443

Size: 5,608,860 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2_armhf.deb)
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

Submissions

Submitted
Sat, 9 Nov 2019 00:18:27 +0000
Signed by
0x9D9A36A270771481

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1573228126"