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
Sun, 12 May 2019 07:04:16 +0000
Build-Path
/build/coq-8.9.0

First submitted
Sun, 12 May 2019 09:40:41 +0000
SHA1 of .buildinfo
685a0b315fb736166c23daf62fcb57ab1f53d60a

Binaries

coq (coq_8.9.0-1_amd64.deb)
SHA1: 1fbd4fd7366259fe5ca7c32a6cfd0902d224c4ca
SHA256: ff1151685414805b17ccb33a65877257f4f4358a779c1b3e52507e2430245767

Size: 58,975,400 bytes
coq-theories (coq-theories_8.9.0-1_amd64.deb)
SHA1: 16c4843d0387369485a29c8eb4f49b3d9c560b06
SHA256: d2be016b6a3ff1b55fe3b116826e92f7a2af36079f4a554c29bdd38957b3c543

Size: 29,730,428 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_amd64.deb)
SHA1: 401cc492e620a38c43da91987e77e1fedab0297e
SHA256: 7f16ddb8d11106d0e1c61adcf233f2a83338cc455a631b4c019685b641cffcf3

Size: 5,458,716 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_amd64.deb)
SHA1: 89373b72faebedee8c7c50f34af2e2eac18a877f
SHA256: 694da9639ec0dd018da30cc9f931192f62406834d14e5ca8b936ff37430723c6

Size: 13,709,292 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_amd64.deb
SHA1: 72111dcaafd21aca7b0bf9ca71b4d62518d10e07
Size: 535,152 bytes
coq-theories-dbgsym_8.9.0-1_amd64.deb
SHA1: bccfcfcb9522d074200e1d1413e60ff288c01104
Size: 773,164 bytes
coq-dbgsym_8.9.0-1_amd64.deb
SHA1: 94fbc5183fbaf1524c95f3ee1ada74a62d8366b3
Size: 3,990,256 bytes

Submissions

mktcpcmw
Submitted
Sun, 12 May 2019 09:40:41 +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="1549474869"