coq_8.6-5_amd64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 30 Oct 2018 17:34:36 +0000
Build-Path
/build/1st/coq-8.6

First submitted
Wed, 27 Sep 2017 14:31:16 +0000
SHA1 of .buildinfo
4e13b73620866bf5497be631f4f9f17bd813ac10

Binaries

coq (coq_8.6-5_amd64.deb)
SHA1: bc46cd8a85a89f220ef48c2cab6cf2490c83ff38
SHA256: 88ef4e2be0d098ac97fd1b1deea8cb9e436af4c7be8780e09d7f2b2335c8cc96

Size: 17,741,912 bytes
coqide (coqide_8.6-5_amd64.deb)
SHA1: 9e6782957de7d241f26ccfd1290ef7a1f64667a0
SHA256: bd80d5db3858322a771e257136514b173f4dc0e5e65c6656417cefad15c8e465

Size: 1,608,238 bytes
coq-theories (coq-theories_8.6-5_amd64.deb)
SHA1: 44b68036ea572f6dd637a0a7a804433ab89cd939
SHA256: 813da3a3baaf733173e97bc0020ea15b49402ccd863e4a5638d17d013ed8e646

Size: 33,430,112 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_amd64.deb)
SHA1: e03884d3e1c9b0f2eb46d88ab968d3132ed1a5e9
SHA256: 00ce99bada97f4897990ad86e23ab8c79a6e670d0c84c35421a324c1a0430279

Size: 3,643,624 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_amd64.deb)
SHA1: 674049e9eb3018eb28703e5e2eb454d805e94076
SHA256: d8fe7e199f372c3e668166b17f16ba397c293591fa8daed90084a0f6f516d168

Size: 13,876,908 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_amd64.deb
SHA1: fb574f1b5828eaeeab18ca0804964d222ff471cf
Size: 113,792 bytes
libcoq-ocaml-dbgsym_8.6-5_amd64.deb
SHA1: abe142db339a138faf60ab8bf8253a0849874bb1
Size: 371,014 bytes
coqide-dbgsym_8.6-5_amd64.deb
SHA1: 0ab1c7815e5e2d3fb7b9887073fb1c4f302fc7e3
Size: 457,608 bytes
coq-theories-dbgsym_8.6-5_amd64.deb
SHA1: bcfdd67773a743994cea098e1869dde6c7bd9ac8
Size: 861,842 bytes
coq-dbgsym_8.6-5_amd64.deb
SHA1: 79face11c7818aa7051fa18d9ca5ad4adbaaa9bb
Size: 1,940,642 bytes

Submissions

iwomxe3s
Submitted
Wed, 27 Sep 2017 14:31:17 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="coq_8.6-5=/build/1st/coq-8.6"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1506416932"