coq_8.6-4_amd64.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 9 Oct 2018 16:52:03 +0000
Build-Path
/build/1st/coq-8.6

First submitted
Wed, 6 Sep 2017 12:11:03 +0000
SHA1 of .buildinfo
56f52c1e6093ac200e1b5353c3b1e03bbadf2a71

Binaries

coq (coq_8.6-4_amd64.deb)
SHA1: 82f0192e54f28700b9102c1f7beeec034c573856
SHA256: 748bb25dc980f252ac483a62bc56fbe9c96dbac0bab5a8b4fd46349ebab90001

Size: 13,997,696 bytes
coqide (coqide_8.6-4_amd64.deb)
SHA1: d3ecf681e3403a8cee7fb6d2ee120c39529b7512
SHA256: d68160c3fab816d1944030afe147eb6ce4e1477e69523968b979bedfa8b3c98b

Size: 1,413,152 bytes
coq-theories (coq-theories_8.6-4_amd64.deb)
SHA1: 7b71b01d4f8ba5deea12f09f73fc616e997fdfc6
SHA256: 86c4dc4beca352da1bc6a28a45f3167eb4b4cea655c304d1dba7c902a98337b7

Size: 31,416,248 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_amd64.deb)
SHA1: 48844f8eddf0c24e3e8a2704efb23dfd8828a70b
SHA256: bc41e097c3e124019add939c3a9970b6b025246f92932fe48f741387b3c8508c

Size: 3,506,066 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_amd64.deb)
SHA1: 2b101477d11d6db4fa4727143aa6a6562679f518
SHA256: 07fb5971afa9dacf2c33b00b3bb4044cbb9e02093d7f793cac31cb6efac254dc

Size: 13,292,950 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb
SHA1: 828a83d56d20b96d5af8aa01e2cb5bb1b1b75d6d
Size: 81,430 bytes
libcoq-ocaml-dbgsym_8.6-4_amd64.deb
SHA1: 84a9e97dcd3552f4104126b7cc2ad786eb2e01b1
Size: 264,728 bytes
coqide-dbgsym_8.6-4_amd64.deb
SHA1: 29e12d660e29179e2d663122f79fca21fc2c077e
Size: 364,360 bytes
coq-theories-dbgsym_8.6-4_amd64.deb
SHA1: 54baea4be2fc2b7dd816d55830bcf5d514e97e9a
Size: 846,926 bytes
coq-dbgsym_8.6-4_amd64.deb
SHA1: 97f4e90e26b7e0b65f7bccbe35c19baf0e7da91a
Size: 1,327,684 bytes

Submissions

skkunbga
Submitted
Wed, 6 Sep 2017 12:11:03 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="coq_8.6-4=/build/1st/coq-8.6"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1483051547"