coq_8.6-5_mipsel.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Tue, 26 Sep 2017 20:13:15 +0000
Build-Path
/build/coq-koWMuE/coq-8.6

First submitted
Sat, 27 Oct 2018 12:53:51 +0000
SHA1 of .buildinfo
709ad10e78b3f02af17c3f421b15d57a57f9ae38

Binaries

coq (coq_8.6-5_mipsel.deb)
SHA1: 3ac872473305b42fa8e714469082908edd23b8a1
SHA256: 8c1ebbb99a141fe2c9f910f35ccae84a2fbff3fe81a66a906d34fa1ef8747280

Size: 25,232,514 bytes
coqide (coqide_8.6-5_mipsel.deb)
SHA1: 9af8145432acf1311d964682b52f834b2e6c391b
SHA256: e738d35e48113339f132e3bf6068349725f94b85f7402cac3c59537c7efccccf

Size: 1,970,620 bytes
coq-theories (coq-theories_8.6-5_mipsel.deb)
SHA1: b997e1369ee472a431da228f1c68fcb5d9ccd2d7
SHA256: 9e38f717543e305077b0c2a1ee538974a82ef9655158c5e956b1e346d0c0d797

Size: 22,871,668 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_mipsel.deb)
SHA1: 20444cf83b0e8f629faedaa4f3748358882adf7a
SHA256: e14e5d0651daf1468cf452b1a6fa3e557dcfd9e0c30571bfb208aa479e707fb2

Size: 2,333,610 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_mipsel.deb)
SHA1: a1c5ddb80f76b37833d66dabf9f5a443907699f5
SHA256: 6cf575ed4569172876d3dc641b91a9cde0e0c4c0b0944a18d4b706d2d8e2a682

Size: 9,967,428 bytes

Other checksums

libcoq-ocaml-dbgsym_8.6-5_mipsel.deb
SHA1: 8a4362bed3ba6138def8fb0310053cce4a20b570
Size: 18,216 bytes

Submissions

7prbcn97
Submitted
Sat, 27 Oct 2018 12:53:52 +0000
Signed by
0x91D81AD521ED8003

Environment


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