coq_8.6-5_armhf.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 13 Nov 2018 02:53:33 +0000
Build-Path
/build/coq-8.6/2nd

First submitted
Tue, 13 Nov 2018 03:24:53 +0000
SHA1 of .buildinfo
c6701876290a3a6c56e2135e7ba903b5b9266b47

Binaries

coq (coq_8.6-5_armhf.deb)
SHA1: f27cdee9ad2e2afa325a7ca87cf1759e8737f0c4
SHA256: 147f1e83f3cda3d114dfcea2064ddeb803ca84dfaa849837fd8f35e794518c5a

Size: 17,033,536 bytes
coqide (coqide_8.6-5_armhf.deb)
SHA1: 44eed68e427c8ed3dcf12ad22a840bac3044e64d
SHA256: 14f283130261bdfa373b20933fe697a4f6798cb60954ea219607b41fc458fc1f

Size: 1,499,668 bytes
coq-theories (coq-theories_8.6-5_armhf.deb)
SHA1: 1d215dfd5a30602da32a799c2074fe476abcc55f
SHA256: 51cbc6e2e5c2f747b382750696ece629ae8ec6118f0c38f7dbd17478bf879b0b

Size: 22,890,384 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_armhf.deb)
SHA1: 707178ea41c0114d0a86272dbe442ddbc3f35215
SHA256: c9bb127e695b7b0a63d0e88f143b0508d2631bdec8b969ba07b43a364d65264f

Size: 3,573,968 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_armhf.deb)
SHA1: ba91fdc82ec293146ffdc18e933d086c2cbab5e5
SHA256: 88f3450c8c40e007ea8de1584ddb99fbd042bf0c327004ab396f109fba65136f

Size: 14,381,696 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_armhf.deb
SHA1: a93af5eaefcc4ebab43f52d2094b1c2aafdbb80e
Size: 104,944 bytes
libcoq-ocaml-dbgsym_8.6-5_armhf.deb
SHA1: 858ca80829d86cb51a50b7ffb7390f67abcb0367
Size: 332,752 bytes
coqide-dbgsym_8.6-5_armhf.deb
SHA1: 0e8b1bd6efa27b5db014f47d128cfec34dbf19f9
Size: 443,508 bytes
coq-dbgsym_8.6-5_armhf.deb
SHA1: 82ec170ba945407bffe133311fd0f7aca1a80811
Size: 1,704,296 bytes

Submissions

y7xrgxeq
Submitted
Tue, 13 Nov 2018 03:24:53 +0000
Signed by
0x8AEA1470736A9EB3 cbxi4a (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1506416932"