coq_8.9.1-1_amd64.buildinfo (view)

Source
coq
Version
8.9.1-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 19 Sep 2019 03:23:59 +0000
Build-Path
/build/2/coq-8.9.1/2nd

First submitted
Thu, 19 Sep 2019 05:25:19 +0000
SHA1 of .buildinfo
6776f35c897ef8309bf589fbc4643b8b77a9b627

Binaries

coq (coq_8.9.1-1_amd64.deb)
SHA1: 508650d364f2419c619723cdea45f6ddd56fd9f1
SHA256: 797ffc384566ea90bdd8cbee843b07ff7001890f6a74c63764be182809cf433c

Size: 59,081,416 bytes
coq-theories (coq-theories_8.9.1-1_amd64.deb)
SHA1: 738925051f728ce3481d3a90852752ae6443cfcb
SHA256: 55b585cc83bdaf5527114a8438eab7e89b3cb02339eafa9271c17e8f57280259

Size: 29,726,840 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-1_amd64.deb)
SHA1: c0eaaa9f55761f483670527783c9dbbd03adebfd
SHA256: fe5361935f505b5ce0bb16aa14a75c37b9025b8abdeb08d482debe3e03301105

Size: 5,517,828 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-1_amd64.deb)
SHA1: 189b9c821599715c92bd9b64d79d9f95468e16cf
SHA256: adb58c1c43344b5a1ea21f5c458ce41689200e428b32416f25fd053074fc96b1

Size: 13,733,272 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-1_amd64.deb
SHA1: a132667df85e95715a088f63f30dbe41404cb61d
Size: 538,524 bytes
coq-theories-dbgsym_8.9.1-1_amd64.deb
SHA1: 759a969d8252667466eeba02fad32a3d9f29a03a
Size: 772,724 bytes
coq-dbgsym_8.9.1-1_amd64.deb
SHA1: 132d1b9011ae56b337cd1be3b28f1a7decfd34a8
Size: 3,948,612 bytes

Submissions

wefw3xoy
Submitted
Thu, 19 Sep 2019 05:25:20 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-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="1566270574"