coq_8.9.0-1_amd64.buildinfo (view)

Source
coq
Version
8.9.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 21 May 2020 07:02:06 +0000
Build-Path
/build/coq-8.9.0

First submitted
Fri, 19 Apr 2019 02:40:49 +0000
SHA1 of .buildinfo
1d9b3108f767722e516ccddcd4f7668e33bcf461

Binaries

coq (coq_8.9.0-1_amd64.deb)
SHA1: 180e8005445aee3fa1bd45b1367296b0b2b542ee
SHA256: 6c96435942c6a2f491a7986f1ec491a20c2906a5da67c4ec2b1225fcc0325f8b

Size: 58,979,888 bytes
coq-theories (coq-theories_8.9.0-1_amd64.deb)
SHA1: c1f620652b00c70636992b67a5a70f51c94a2abd
SHA256: 60e96b243df3d1c0ff13942ac75037ccec3fed91724837d6ea15564a5597c539

Size: 29,732,996 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_amd64.deb)
SHA1: d5bfd1d9f30e2f96eb23ca54f6905f2d975c8305
SHA256: 75398f5c3126fdcb587ef758f3d144d30546af33f62c6655efb5acc57bd0465c

Size: 5,460,476 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_amd64.deb)
SHA1: 28d83aa8f4e211f17ee46ffba9ddf20e9a641fc9
SHA256: e7db9dcc7c74ef68f01a0ad629229afdc5c05b18699aae0d9ad1c1431a7d6005

Size: 13,711,208 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_amd64.deb
SHA1: 4a28fe718297b5c005256480a2491a473d78d9f7
Size: 534,020 bytes
coq-theories-dbgsym_8.9.0-1_amd64.deb
SHA1: bcde850a229bb29587078146cafe79e09fe0d944
Size: 772,596 bytes
coq-dbgsym_8.9.0-1_amd64.deb
SHA1: de2c604e3635d7aa1d5f77e246fc2df2e8ab4b83
Size: 3,802,108 bytes

Submissions

td3vjqyd
Submitted
Fri, 19 Apr 2019 02:40:51 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1549474869"