coq_8.6-5_amd64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 24 Nov 2017 08:04:29 +0000
Build-Path
/build/coq-8.6/2nd

First submitted
Fri, 24 Nov 2017 09:50:39 +0000
SHA1 of .buildinfo
26342c2b322430b40b9e5a69566d50500aca9c4d

Binaries

coq (coq_8.6-5_amd64.deb)
SHA1: bc09411644e87afdf2e0fd0d5ce947351cd37f71
SHA256: a259fc1c81423b81e2e26f09e5f69e0b683402d0133fca8bfd081137084008ae

Size: 17,735,448 bytes
coqide (coqide_8.6-5_amd64.deb)
SHA1: f79544cb6c51502b3bacb814a7ec558886b1a090
SHA256: f71177c9bdd91cc55c6ec920798401861cd5f83ea64fbda6832c2c60865787b5

Size: 1,606,852 bytes
coq-theories (coq-theories_8.6-5_amd64.deb)
SHA1: c384d3d6b8d00b753d612eb6990366fb26d477ab
SHA256: 6f892671976c672e9b542cedac93b90006bf8af08205f22dcf1a0f42b209a8ce

Size: 33,398,892 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_amd64.deb)
SHA1: 02223a30ded0fe70e77c9aceb20e8591cb36df8a
SHA256: f3145f97753ede3c462cc8245ad8c17215e68cd02faba11df6524f32155c5a55

Size: 3,645,960 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_amd64.deb)
SHA1: a569810477b0eff6557378c3929335dcc1804a51
SHA256: 374eb160773730369ef2277570c8c6aba331be2fc3dc00344a63769407c3bd32

Size: 13,876,152 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_amd64.deb
SHA1: 311f09fa960eeddad1465158fd5b848abeb05ec7
Size: 113,576 bytes
libcoq-ocaml-dbgsym_8.6-5_amd64.deb
SHA1: a587782e54cb053970eb042752021f30f1fb112c
Size: 369,448 bytes
coqide-dbgsym_8.6-5_amd64.deb
SHA1: ef9a21f5e18b77a4bbc4ffbd23e2ed45d3a1a28d
Size: 458,928 bytes
coq-theories-dbgsym_8.6-5_amd64.deb
SHA1: 4acbf0de22bf7dc0e59dcab70a1be8b8427a76ba
Size: 850,652 bytes
coq-dbgsym_8.6-5_amd64.deb
SHA1: 0e5badc37408ebea7bc1fb9fc42f159b51debe74
Size: 1,941,020 bytes

Submissions

msbk9asv
Submitted
Fri, 24 Nov 2017 09:50:39 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="coq_8.6-5=/build/coq-8.6/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1506416932"