coq_8.6-4_amd64.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 28 Nov 2017 03:57:04 +0000
Build-Path
/build/coq-8.6

First submitted
Tue, 28 Nov 2017 05:32:10 +0000
SHA1 of .buildinfo
ab8b943fbe5822fd7dc43f8567c77adfa383c221

Binaries

coq (coq_8.6-4_amd64.deb)
SHA1: 20ba00d225a29e4c76036c711a166065beab4b8e
SHA256: abf2189567585aeca9c6d4df75daaf8b8619be6cc224a45babbec39cc4f33bcf

Size: 13,994,000 bytes
coqide (coqide_8.6-4_amd64.deb)
SHA1: bf7da751eab219fdd94b0827810db3d83f718cd0
SHA256: 307d2d4693255694a48de06ca591d5fab6ed926e8874de9dfa505317acbe2396

Size: 1,413,604 bytes
coq-theories (coq-theories_8.6-4_amd64.deb)
SHA1: 27323d61fe2014bf57166137e25cc52a1feb05f4
SHA256: 24dc4b95cf0564757dbdacc7a8b7820aa1a3558260370930443442ce1bd7059d

Size: 31,396,252 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_amd64.deb)
SHA1: a20f545f7d4a7e65aa82deca7132e51110152285
SHA256: 847075fa7beb2c489d08d3ab599350e4be68c966db4b522f2d278299631fa477

Size: 3,507,964 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_amd64.deb)
SHA1: 132829df2317f2b5d36016994ef0634896e3582b
SHA256: 46c708b694ea583bc95ceac5479060604a0fb674f69ff7040dbd8b6f444ac42b

Size: 13,292,500 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb
SHA1: 5ec7d4e062d5a255c8aed25b5c9e40adf6778878
Size: 81,320 bytes
libcoq-ocaml-dbgsym_8.6-4_amd64.deb
SHA1: 62702841a23b363c60d3173909792c2bc1dc5bcd
Size: 264,252 bytes
coqide-dbgsym_8.6-4_amd64.deb
SHA1: 89f5f8d69e5c458b0b37b8bc6491cd4e704ad33e
Size: 364,996 bytes
coq-theories-dbgsym_8.6-4_amd64.deb
SHA1: 085d1f0e1ce773af61a82570a4fcf5f6aae2ef01
Size: 840,380 bytes
coq-dbgsym_8.6-4_amd64.deb
SHA1: a0d2e8ad02ac706f7f1f85e578ec95fa912a26a1
Size: 1,327,360 bytes

Submissions

4d4dthax
Submitted
Tue, 28 Nov 2017 05:32:10 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1483051547"