coq_8.6-4_armhf.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 22 Jul 2017 18:21:31 +0000
Build-Path
/build/coq-8.6

First submitted
Sat, 22 Jul 2017 20:04:49 +0000
SHA1 of .buildinfo
35210f0f1ea8802bc29a5dbbac2e6d6b12b01244

Binaries

coq (coq_8.6-4_armhf.deb)
SHA1: 5503ecec6ddedfd52ac38781384a39ba0c6a7c57
SHA256: 82e6052a0df63b782a95576dba21e4f5c844cccf07a9510fa0393fc6dfcd3ac2

Size: 13,915,964 bytes
coqide (coqide_8.6-4_armhf.deb)
SHA1: 0ada8133b14d2f14c2fe97bac724a676aabddde4
SHA256: 430ec56521920a108c03a72d4c66d611401f6a6bddc070e3dceeabb4f7e9aa83

Size: 1,471,454 bytes
coq-theories (coq-theories_8.6-4_armhf.deb)
SHA1: 13b90e35be8d31c41e90bc42b4bc16d1303e8396
SHA256: 48ca067aee61a32e8cd304184911ccd04b021ac2cd3b8dfa0e924df810e8ded5

Size: 22,841,666 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_armhf.deb)
SHA1: 86f41b02e8512869420e77d116a53b0eccfd83d1
SHA256: c6efabf45d33acd93e96b7251b3e6802ee2fb9fd30bc119ff9ebe35492ea304a

Size: 3,563,256 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_armhf.deb)
SHA1: e7521156d8c245ba0da815d82ae6526d05161fe8
SHA256: 54d86639f0f51e377450e1b3b519b739413fb429091af1cf3fc6f0b227f2c98c

Size: 14,152,652 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_armhf.deb
SHA1: d3de3167dfbeb3b3fde4db214ab43e846a0c00ec
Size: 86,608 bytes
libcoq-ocaml-dbgsym_8.6-4_armhf.deb
SHA1: 380f4c4c67fff7eef075c7c10726e41565cee0bc
Size: 283,206 bytes
coqide-dbgsym_8.6-4_armhf.deb
SHA1: 780d6d3e568d03e37140cf31d1cad9d9e4e50bb5
Size: 373,118 bytes
coq-dbgsym_8.6-4_armhf.deb
SHA1: ae407c6d4d507dceee630594402d3f9c2f24075a
Size: 1,454,624 bytes

Submissions

cvjvqnk7
Submitted
Sat, 22 Jul 2017 20:04:49 +0000
Signed by
0xF7F2097D55C669EF bbx15 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=2"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1483051547"