coq_8.6-5_armhf.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 1 Feb 2018 23:05:35 +0000
Build-Path
/build/coq-8.6

First submitted
Fri, 2 Feb 2018 01:31:02 +0000
SHA1 of .buildinfo
8fd1e2523712d695e856bc3dc89f200d3303b098

Binaries

coq (coq_8.6-5_armhf.deb)
SHA1: cdecbe5d1e8ce94b709ac74ecb62ad4cd60665b3
SHA256: 9dbcf16ccc728eca5083a4b09ad1a62485581872b3aef8326c394d08d70a8960

Size: 17,040,960 bytes
coqide (coqide_8.6-5_armhf.deb)
SHA1: 4436a45f760a7d3379d3cdc2b0b6b493f70549ae
SHA256: 1cc3d8d3f1c127e607ccc7d32984405ef738017e9479a8597ea1289d614052dd

Size: 1,505,952 bytes
coq-theories (coq-theories_8.6-5_armhf.deb)
SHA1: 3782e9903314570c497d82448224fc110b9b6de4
SHA256: 50ccd3eba14ff14bfa82b59b97ed740db5893726b737188ba0cec3cea48fed96

Size: 22,890,392 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_armhf.deb)
SHA1: 6507b9674813d07f6a82f2f3d1f6246000020269
SHA256: a31ab16b0f3a778a1fa3a861058fdfbab1d2a9d0f605e538131790e99963f1ff

Size: 3,576,304 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_armhf.deb)
SHA1: b76d1a081a93f0ecf3969c5bd494dd1ba3f82ebb
SHA256: ce02124fe4465460c67515efd2d15aa65315696a1766723ff31fb48689a64f71

Size: 14,365,636 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_armhf.deb
SHA1: eb02f896c10634bb92a59c0b86cbb858683c61c2
Size: 105,128 bytes
libcoq-ocaml-dbgsym_8.6-5_armhf.deb
SHA1: f5f42452b87016ca64496a726d460f08509d7c24
Size: 328,360 bytes
coqide-dbgsym_8.6-5_armhf.deb
SHA1: 16483025d2c19d46442f7cfa4af470693866eb42
Size: 442,560 bytes
coq-dbgsym_8.6-5_armhf.deb
SHA1: 2b176d5e413334e870b8e068d37652e078c5fda9
Size: 1,700,772 bytes

Submissions

jppyknhw
Submitted
Fri, 2 Feb 2018 01:31:03 +0000
Signed by
0x8AEA1470736A9EB3 cbxi4a (Automatically generated key for signing .buildinfo files)

Environment


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