coq_8.9.1-1_mipsel.buildinfo (view)

Source
coq
Version
8.9.1-1
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Tue, 20 Aug 2019 09:25:25 +0000
Build-Path
/build/coq-77Mjcb/coq-8.9.1

First submitted
Tue, 20 Aug 2019 15:01:54 +0000
SHA1 of .buildinfo
4d00dbdf12a784809a935687f46a1d0dacb0c45a

Binaries

coq (coq_8.9.1-1_mipsel.deb)
SHA1: 1bc9a237cb553c9231a1b20e86285c3603f5560c
SHA256: a1a8923de19dd62b58a95745ac54e9c8f68f9a4faba535bf209d347475072ed0

Size: 50,098,160 bytes
coq-theories (coq-theories_8.9.1-1_mipsel.deb)
SHA1: 570c90519534bf522035f2310efd25fe7f787037
SHA256: 9be7c4c098279d06d02feb4017b8f6f291776a7f4584a3649a1443751e12a3c4

Size: 20,360,748 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-1_mipsel.deb)
SHA1: b54b40ac1de4d898e46824a52e8e038766446b07
SHA256: 7d01c9998279f9821aba81a95d5230c14437f15eaa83b55cc2c19f787382fd2b

Size: 3,629,828 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-1_mipsel.deb)
SHA1: 95275cddd6d961b832690344bdf847685f8779eb
SHA256: 111cbfd5735c08f0a4607f5c8c7857e1e76c54369750600041f95b9926f45f58

Size: 7,964,640 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-1_mipsel.deb
SHA1: f3e9d4e228921c0b5ada96c1a2a06fa29bcfb9d6
Size: 26,464 bytes

Submissions

jcnpsid3
Submitted
Tue, 20 Aug 2019 15:01:55 +0000
Signed by
0x885399CEDDE3D7F9

Environment


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