coq_8.9.1-5_armel.buildinfo (view)

Source
coq
Version
8.9.1-5
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Wed, 29 Jan 2020 13:44:17 +0000
Build-Path
/build/coq-ydDkte/coq-8.9.1

First submitted
Wed, 29 Jan 2020 18:25:43 +0000
SHA1 of .buildinfo
a3ccae2b5a74e59ee0389c40499175d484224b0c

Binaries

coq (coq_8.9.1-5_armel.deb)
SHA1: 7777a6c97d228943561b0de86bef26b4466fb0af
SHA256: 214e8748a091284808cd3f7a4acac66829af52d620e877dc8f887e64a55d8ce8

Size: 73,410,752 bytes
coqide (coqide_8.9.1-5_armel.deb)
SHA1: 34f6d0710df20f5982eb5b04c0f4dfa00454b0a6
SHA256: e721d5d0f22c3f39a94a4a35c58baf369e4276d867d0351ca2ac0cbd568b110e

Size: 101,428 bytes
coq-theories (coq-theories_8.9.1-5_armel.deb)
SHA1: a86d3659db5f6649338d190f67fa69720372deb0
SHA256: e22e9577c04655555d5c406128925e303a7cbeb575bcd68101e4e14a6a20969d

Size: 20,335,540 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-5_armel.deb)
SHA1: 5fa002be31b3967e7f5662706e51c86eaa9b3c56
SHA256: 65a7d388e08b05de31023a027b0f18ed08c13aefe9ec282ef5ecd271c71224e0

Size: 3,805,860 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-5_armel.deb)
SHA1: a3c245612762c6351cf1fe35c8f5813db5f72ab3
SHA256: 3fbde1ad227bd007b7d380f8a058b0cdb618c5f190b99acd284113813a85a381

Size: 8,861,952 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-5_armel.deb
SHA1: 186def3d1c5dc7c0882db6226d550691aaf56df0
Size: 25,636 bytes

Submissions

itgrb7ov
Submitted
Wed, 29 Jan 2020 18:25:44 +0000
Signed by
0x8BD0495DE0383C4A

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1580239419"