coq_8.6-4_amd64.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 30 Aug 2017 14:46:41 +0000
Build-Path
/build/1st/coq-8.6

First submitted
Wed, 30 Aug 2017 18:35:29 +0000
SHA1 of .buildinfo
bb2b22bb5625f920be74924e0df2f1ee88cfa724

Binaries

coq (coq_8.6-4_amd64.deb)
SHA1: b41e71b5a321ea7730dcceef7ba79b07f0604466
SHA256: 351acbb87a9b323ba05b9efa8264f550af0fa33fcdacb554bc8be1c8e98f39e6

Size: 13,985,486 bytes
coqide (coqide_8.6-4_amd64.deb)
SHA1: adf91a62a22218723f7c2c1d042a1601afcc4815
SHA256: eea00889acc69defc974254c58014358916c4abdcf43dff035c85aeb701ec2ee

Size: 1,412,624 bytes
coq-theories (coq-theories_8.6-4_amd64.deb)
SHA1: bb2ea5664afbc488c19b90472eb94c259e3a7598
SHA256: c470e46a72d5443830d0408554e877fa5f1913813db3716328f6c7d90396d2ce

Size: 31,432,206 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_amd64.deb)
SHA1: f00284b045e6d0b21936f417354c8b062265f6fd
SHA256: a4d4cadc83dcd48a1cf4574c6265091d5ea85c361a1482674a76d46d28d1bd2c

Size: 3,506,496 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_amd64.deb)
SHA1: 4b03ed7114e5d176d757a904f6ad129f3c6ef20b
SHA256: f68b3cf1fe8bd4c785eb789822a86c8daae2156c14662256ef7cbd69030dc594

Size: 13,293,070 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb
SHA1: a50cbf5de10d8bee43c2e852fb9ad25ae37eb816
Size: 81,384 bytes
libcoq-ocaml-dbgsym_8.6-4_amd64.deb
SHA1: a675321b7171f9fca211f1fd8dcf4f5effc61667
Size: 264,820 bytes
coqide-dbgsym_8.6-4_amd64.deb
SHA1: 6afce8f7ff50a3f24df0fcf3656db1a49a6438c0
Size: 364,356 bytes
coq-theories-dbgsym_8.6-4_amd64.deb
SHA1: d7e7d94dce3f0cde648173c65a8325e81eddbcba
Size: 848,800 bytes
coq-dbgsym_8.6-4_amd64.deb
SHA1: 132f9105acc273b0afef583aeabbafaef44e0e60
Size: 1,326,440 bytes

Submissions

j9bcnu4q
Submitted
Wed, 30 Aug 2017 18:35:31 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="coq_8.6-4=/build/1st/coq-8.6"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1483051547"