coq_8.6-4_amd64.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 11 Oct 2018 23:03:59 +0000
Build-Path
/build/coq-8.6/2nd

First submitted
Fri, 8 Sep 2017 18:41:58 +0000
SHA1 of .buildinfo
272a10475720a1ed0e3056b47f444289cab82dd4

Binaries

coq (coq_8.6-4_amd64.deb)
SHA1: 5d832a8ad10d5a3ba2be07673172c7efce171bf1
SHA256: 544da462af894e7069febc506e1f26ee976695f84af383df5563034274470a2f

Size: 13,982,742 bytes
coqide (coqide_8.6-4_amd64.deb)
SHA1: 42facf95a95e642ee427b76447275e9ee0a38173
SHA256: 6d8e7a7e07f600be2f01c2f7ae2cd6029be44ee5198a513ba2be0f55cf85d924

Size: 1,413,886 bytes
coq-theories (coq-theories_8.6-4_amd64.deb)
SHA1: 7aaa732aa2ddd85f80693fb738b19db4d918fd78
SHA256: 78a351acbf90e37a0a40dc9e5e6bd9869008b19da41f72e726e6174485a9847a

Size: 31,409,240 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_amd64.deb)
SHA1: 25708c57057728b8fabece3a7e44f7d48b836107
SHA256: 405528530e3fcdbe77ab4ae0a83d579997f5494e1325c29c5b9e7f9b3660fb84

Size: 3,506,624 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_amd64.deb)
SHA1: 424545d9c9ea993ee148d62f1e8317caf7b4e6a0
SHA256: e7a3b65b2e9ae67f12a25db1e86cc414ee1d5a6258633a0637a3169a951b7bab

Size: 13,290,674 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb
SHA1: 3b74e068724b1450f529a21f5547d54d6a884cd8
Size: 81,422 bytes
libcoq-ocaml-dbgsym_8.6-4_amd64.deb
SHA1: 2eed1d5612ec38025f0749d9ad5cd3345049239d
Size: 264,374 bytes
coqide-dbgsym_8.6-4_amd64.deb
SHA1: dc665f568f53c684867cb9cf54a3fbdfb7a6a009
Size: 364,962 bytes
coq-theories-dbgsym_8.6-4_amd64.deb
SHA1: e4482544f3b1d511cf8d0038ec5b455de4744317
Size: 848,062 bytes
coq-dbgsym_8.6-4_amd64.deb
SHA1: fcebca9c0033cfc8482de8d0594e40cbb9a16ecd
Size: 1,320,634 bytes

Submissions

so343q3o
Submitted
Fri, 8 Sep 2017 18:41:59 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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