coq_8.9.1-2_i386.buildinfo (view)

Source
coq
Version
8.9.1-2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Fri, 8 Nov 2019 17:41:07 +0000
Build-Path
/build/coq-5tDqBs/coq-8.9.1

First submitted
Sat, 9 Nov 2019 00:18:56 +0000
SHA1 of .buildinfo
861862a4cf0e0bb9b1fa57f221b4d450d2bd9648

Binaries

coq (coq_8.9.1-2_i386.deb)
SHA1: 3d6d4c06290ef11ee460ff73def8d6c3a8586180
SHA256: ad5272cadfe711258e4a914a74c3f9bd6fe70fba97e0c0c15cf4543b49c75c70

Size: 59,503,332 bytes
coq-theories (coq-theories_8.9.1-2_i386.deb)
SHA1: d086b284e43b81923849cc610f8ab1dd8b521a98
SHA256: 3aa1433a52981dce1c3fd0a7f16db918e6a45b982758805da98a15b8856868b2

Size: 28,986,724 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2_i386.deb)
SHA1: 93e497e332a1b7a844d9284eddedeb7fe3d33671
SHA256: f593bc3fa2f2052eb6dcccf77e859e0b1c1a7be4a33325e05abe6545b2a07d7b

Size: 5,401,464 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2_i386.deb)
SHA1: b453e8129c56e1ccd644d055f154ab0aef3953ae
SHA256: c774c2d1b4e4f77e4b82b2da34eb73c58bd4710d622c572ee4127d760445d142

Size: 14,121,736 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2_i386.deb
SHA1: bd84eca53f1b63700a2c131b97f740683d65b9d1
Size: 556,204 bytes
coq-theories-dbgsym_8.9.1-2_i386.deb
SHA1: db014658d76e05ec9563afa63d515816f53b6ed4
Size: 740,036 bytes
coq-dbgsym_8.9.1-2_i386.deb
SHA1: 74bd3421602905f760717625be1ce8d601a5556d
Size: 4,192,772 bytes

Submissions

eqojnr9t
Submitted
Sat, 9 Nov 2019 00:18:57 +0000
Signed by
0xD4D51947CB93A7C6

Environment


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