coq_8.9.1-2_mipsel.buildinfo (view)

Source
coq
Version
8.9.1-2
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Sat, 9 Nov 2019 02:55:48 +0000
Build-Path
/build/coq-C77SR7/coq-8.9.1

First submitted
Sat, 9 Nov 2019 06:10:47 +0000
SHA1 of .buildinfo
5be1c8559c13b881c41a0c3d9e15ad4ca5719edc

Binaries

coq (coq_8.9.1-2_mipsel.deb)
SHA1: 8f7eae9455385b25fb96e483b2987fe2fc4a7625
SHA256: 45cecf677ff02aa1a161a0781e4db61de547937807e436c6614ad11ea8c83a86

Size: 55,165,576 bytes
coq-theories (coq-theories_8.9.1-2_mipsel.deb)
SHA1: 7eb40c37891def95d424d7116e532d91a694254f
SHA256: dc3a200138e3a58444f587fefc2ba40926d46951f43c94ddc73e72795278e28b

Size: 20,354,296 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2_mipsel.deb)
SHA1: 0c54e32ee74d5ccae2383760ead17c89539b8874
SHA256: 195a8487144841b7b8e5dc36f7d597bf42a7dffa69801efaad0f0e3d71230344

Size: 3,806,832 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2_mipsel.deb)
SHA1: f4a2d94ed1cba785d0539b82896fd4ba5e36b43f
SHA256: ea4c251a036e85a4ceb5f1b6a7ce78f24ea8f294103631a9b671e47fa755cd5f

Size: 8,232,608 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2_mipsel.deb
SHA1: 92353ed13cbec88c9467286a5976f283d0b98d84
Size: 26,344 bytes

Submissions

ogtxuydh
Submitted
Sat, 9 Nov 2019 06:10:47 +0000
Signed by
0xC0BF082DA8AD6020

Environment


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