coq_8.6-4_amd64.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 26 Sep 2018 04:25:47 +0000
Build-Path
/build/coq-8.6

First submitted
Thu, 24 Aug 2017 00:03:06 +0000
SHA1 of .buildinfo
e182ab4c29059ac3e589b638ea9aa72fd1225879

Binaries

coq (coq_8.6-4_amd64.deb)
SHA1: 50b9eda533aae0e341192035ccd6a24fc33529b6
SHA256: 2e8dc7a043ee482aecddecbee66309a3a6d0b7a07e71b4a4205a2629c595c32b

Size: 13,991,658 bytes
coqide (coqide_8.6-4_amd64.deb)
SHA1: 6fc428336d067d9e051b6656250b2112b8b89403
SHA256: d345e376e8268fd4f7705a2947a486ab82f393a686e5af4ce87ca84225b6223c

Size: 1,412,310 bytes
coq-theories (coq-theories_8.6-4_amd64.deb)
SHA1: 8e8306e3adfbc84ea03a220ace5d88b5220bbefe
SHA256: 92d89941193f30baa7170f3956ea204aaff6f731c69efdb3bb5535904a6392ab

Size: 31,428,960 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_amd64.deb)
SHA1: fcee3b934152cd6e54f2f642159ae6ff536f6888
SHA256: 3e0e94b5ce896c2ee216485064f413ccc701d2e1fec1d705b5167bd6f553aff2

Size: 3,507,294 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_amd64.deb)
SHA1: 48e6e5221dd77ce7e7ce3c863e7eec1eb2f6689f
SHA256: 031e9486a6054c6f837a94c9317a9706b956e99d788ab66a7e022db375d63387

Size: 13,292,016 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb
SHA1: 955168f0009f24c2cfca2d8307f241ece1278d99
Size: 81,408 bytes
libcoq-ocaml-dbgsym_8.6-4_amd64.deb
SHA1: d9cc93019763c7f5610ec8a73432c8506cc4b544
Size: 264,442 bytes
coqide-dbgsym_8.6-4_amd64.deb
SHA1: ba2555aa8547bd9d883678a638594732b3ea749c
Size: 363,916 bytes
coq-theories-dbgsym_8.6-4_amd64.deb
SHA1: 32d4d4d6b4cf4ae9c1b974582278210e2e031d22
Size: 847,388 bytes
coq-dbgsym_8.6-4_amd64.deb
SHA1: 7a01dd0de912dc1e728db75affa8e769b60e37bb
Size: 1,329,430 bytes

Submissions

ffs4fnnt
Submitted
Thu, 24 Aug 2017 00:03:07 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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