coq_8.5-2_amd64.buildinfo (view)

Source
coq
Version
8.5-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 12 Dec 2016 16:06:28 +0000
Build-Path
/build/coq-8.5/2nd

First submitted
Mon, 12 Dec 2016 17:06:00 +0000
SHA1 of .buildinfo
a984b0cea556a8025cb144a6ca2ca8c8bc2a4b1f

Binaries

coq (coq_8.5-2_amd64.deb)
SHA1: b9648084a26a84075e4855e1131f32d9b452ef92
SHA256: c4280ef85327d9b503fd982174138bc9d1cf94959a7d79552df9be776a23606e

Size: 13,606,122 bytes
coqide (coqide_8.5-2_amd64.deb)
SHA1: 3f113167a0a9126c9148e04ef568e6f22a57ae22
SHA256: 9740c2ab0570d26544c13592c46c944c231e46d2f4d91224ca1219fd39c92584

Size: 1,281,178 bytes
coq-theories (coq-theories_8.5-2_amd64.deb)
SHA1: 3ef1751343829d9d6d1eb1d1dfa8bdeab9984b7e
SHA256: fd9a1d994cf96466113472cf49766ab1a92f2fcb1b66f3fa9b251ebecbdd20b1

Size: 33,178,386 bytes
libcoq-ocaml (libcoq-ocaml_8.5-2_amd64.deb)
SHA1: cc7fe395bf2172f496f51413cca48d016fadbff3
SHA256: 5b4733155dd5f6afeaad72b3744cae5fa032f2708d2c3f511f1c9d3472e2ce3e

Size: 3,435,512 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.5-2_amd64.deb)
SHA1: 7b8adaa041cdc7c7e8cb3fda45297f1801b9e659
SHA256: ee21d82a7ec6fc42bfa8e4e54d998dfbdfd0515428bf4b9ef5c59bebff31143a

Size: 13,445,738 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.5-2_amd64.deb
SHA1: 6fe6b654a7558bf2f8eb7405fff68142fd4830e7
Size: 84,600 bytes
libcoq-ocaml-dbgsym_8.5-2_amd64.deb
SHA1: 9c1ca656889ad7e0c44e60d9374e43518138a2fa
Size: 255,440 bytes
coqide-dbgsym_8.5-2_amd64.deb
SHA1: 16b39b5439bab2735fdc9c426db6efa38f493195
Size: 353,566 bytes
coq-theories-dbgsym_8.5-2_amd64.deb
SHA1: e91af4ed2152889ccfd05ebedad9e49acc906630
Size: 894,474 bytes
coq-dbgsym_8.5-2_amd64.deb
SHA1: 1abfafb76e1afb9dcdb85ffd63b85d4447c637ca
Size: 1,376,466 bytes

Submissions

sirohphi
Submitted
Mon, 12 Dec 2016 17:06:01 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1453978027"