coq_8.6-5_armel.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Fri, 6 Oct 2017 17:42:19 +0000
Build-Path
/build/coq-tReA9n/coq-8.6

First submitted
Fri, 26 Oct 2018 09:15:51 +0000
SHA1 of .buildinfo
6fb035a485fa7b61593969270afd5ab956d3db91

Binaries

coq (coq_8.6-5_armel.deb)
SHA1: 548a96e0b882e0eb9435fd4893397c2d00bcde91
SHA256: 993aea633c4df12acae6f34951c0372429159d7b75f00345658a26440b8a5795

Size: 25,230,794 bytes
coqide (coqide_8.6-5_armel.deb)
SHA1: ba80a489506d8b5d7acc841f90c29776f28169a2
SHA256: 2a56548990bad84429d7e95de7bed6a6fe3baf6039436a1247e1e5e5aa77cc14

Size: 1,970,754 bytes
coq-theories (coq-theories_8.6-5_armel.deb)
SHA1: 36c10f064af461afe867947a76f0084088ad1f66
SHA256: 6b786e4d87e8cc1cf9e7cc544b166811acd0f0641cd04f8a9cf0dbb13742d893

Size: 22,871,666 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_armel.deb)
SHA1: b2e60d9a1351c3941ae8e8dc7e40209781736637
SHA256: 2449021d4d9b3d3403ce5836164fd8be930ca9b393054d63f0b7748c301e7c6f

Size: 2,331,874 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_armel.deb)
SHA1: abf5658b759db1e9ff03f334fd76ac5c25e6ae07
SHA256: 831a7c7e41ff27e997ce58c83c06d25ce12707fade8048e78a71eeff172ea987

Size: 9,967,484 bytes

Other checksums

libcoq-ocaml-dbgsym_8.6-5_armel.deb
SHA1: 7cf0f58591dc5d50cd6285f607ff500b1a1730fe
Size: 18,186 bytes

Submissions

9c9dt4nw
Submitted
Fri, 26 Oct 2018 09:15:51 +0000
Signed by
0x0274B3BCF3C295A1

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1506416932"