coq_8.9.1-2_amd64.buildinfo (view)

Source
coq
Version
8.9.1-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 25 Nov 2019 16:03:27 +0000
Build-Path
/build/coq-8.9.1

First submitted
Mon, 25 Nov 2019 16:05:42 +0000
SHA1 of .buildinfo
8d665a22ce82409d7436e8203babc5a6591e0df8

Binaries

coq (coq_8.9.1-2_amd64.deb)
SHA1: 5ba20f54b39b851abf519ef0735ba00042977c20
SHA256: 3dbe22bd67be80d112d27dcfa7e1a2d2445d89bb96095e0c6fd973cc19a9a9c6

Size: 62,445,980 bytes
coq-theories (coq-theories_8.9.1-2_amd64.deb)
SHA1: 3b37651df131da90637c4cdde7a4be0f1c621ec9
SHA256: aaf34497ac1280e64f81f3159bdfe85c9ba35c3353d7b40ec11e86a36b7e1d85

Size: 30,187,580 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2_amd64.deb)
SHA1: 418ce6bd5c8d61139bb9432290939afa0407b2ff
SHA256: 3ed7342752f843d34bd84e03dbcd12fbc8d5f0d339edb58198d16a5d150cd942

Size: 5,685,220 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2_amd64.deb)
SHA1: 2333b02352ec0e530803f99091891ca5f22b8e5f
SHA256: 59282fa65e548286162a7ec33340031c93def0bf333cf3f75bc40f0a85f08cd1

Size: 14,086,876 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2_amd64.deb
SHA1: 3bab6a47f7e684f8d498a34bf543d21a7bf39ce2
Size: 573,864 bytes
coq-theories-dbgsym_8.9.1-2_amd64.deb
SHA1: f21c34ad21db89c80491d9a2e80158ff0c95a110
Size: 771,820 bytes
coq-dbgsym_8.9.1-2_amd64.deb
SHA1: 16f76483a732f6ee3ae7b2a83ac68c14b1918c82
Size: 4,352,024 bytes

Submissions

pn7z4upr
Submitted
Mon, 25 Nov 2019 16:05:42 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1573228126"