coq_8.6-4_amd64.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 24 Jun 2018 04:43:26 +0000
Build-Path
/build/coq-8.6

First submitted
Mon, 22 May 2017 00:12:55 +0000
SHA1 of .buildinfo
2bebc15b3c3a70fd796339abeecd93b09945b407

Binaries

coq (coq_8.6-4_amd64.deb)
SHA1: e988789dcf18eefdd4201f749d9d1894575f5670
SHA256: 4639aece6eeb3dd2163ae4e9e47c0dff80323da0a8814b8fc73af365268081df

Size: 13,952,574 bytes
coqide (coqide_8.6-4_amd64.deb)
SHA1: 3d2667906a0165a8f6cb9bee81798887c33d809c
SHA256: 4725b67641e45065225f855d3ac0549625d2546935ae543b235769c779a93d83

Size: 1,406,910 bytes
coq-theories (coq-theories_8.6-4_amd64.deb)
SHA1: fe5465da5f236d34a5173c007ac784e239cfedff
SHA256: b498f86fb0646f5c4145c0d128acb9fd5059439ae3d70cdb77869d14f3b32705

Size: 31,446,718 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_amd64.deb)
SHA1: 2eb0ab0a2a4f4dc35f13e6b4f960f5c768d7b13f
SHA256: 5b32e2c736349b93f033532551ecfc195b65e93fbb5675635d73d9c6e6b321a7

Size: 3,501,948 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_amd64.deb)
SHA1: 60977b84a344001b3e1ec80d38b8314a2811a9b7
SHA256: e2b95d993fa37f386eb7c0c7a2e10a943bf15f5c46a5f4f4ec035b4195203c9b

Size: 13,284,146 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb
SHA1: 21b20f81cc57b4f1f97958b0b6891cb8a5d13d65
Size: 81,684 bytes
libcoq-ocaml-dbgsym_8.6-4_amd64.deb
SHA1: ef530ce7768724f1270776495b365a4635d83869
Size: 264,762 bytes
coqide-dbgsym_8.6-4_amd64.deb
SHA1: 61227fcbbe7121598e1de4901ee7b4d4f7863922
Size: 366,974 bytes
coq-theories-dbgsym_8.6-4_amd64.deb
SHA1: f9b29b9e4c72816dd141aac88d344302872a349e
Size: 877,984 bytes
coq-dbgsym_8.6-4_amd64.deb
SHA1: 2758db1d134d9488290ea073c3954d067e0ace0b
Size: 1,376,422 bytes

Submissions

kktpb9jh
Submitted
Mon, 22 May 2017 00:12:55 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1483051547"