coq (8.9.1-2)_8.9.1-2+b1_amd64.buildinfo (view)

Source
coq (8.9.1-2)
Version
8.9.1-2+b1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 3 Dec 2019 11:56:56 +0000
Build-Path
/build/coq-Nb32dI/coq-8.9.1

First submitted
Tue, 3 Dec 2019 18:13:06 +0000
SHA1 of .buildinfo
b1f0694eeed1647d8ecd1988b27087b5dea8946f

Binaries

coq (coq_8.9.1-2+b1_amd64.deb)
SHA1: bc2e631815be283cc5610f43e5ed4ec5d88bc26b
SHA256: df51653f026837c9bb14389ba14c0bdf9a339eceda2e4504570e6aef9a9d384b

Size: 62,448,460 bytes
coq-theories (coq-theories_8.9.1-2+b1_amd64.deb)
SHA1: 21bdbe3f68509586e1a85d3a5fe52b58f6bc2118
SHA256: 786da599f34bc10a744ccac670b9a1aff38a0022171c54ef02fe6e7712d0bc08

Size: 30,183,784 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2+b1_amd64.deb)
SHA1: 0f8454e1e5fdff36bbeef2455ddff9f5007eb503
SHA256: 49c71675121e28ed2910aee221aa84053aba9e77b16f4f6b3710a82ebde36a50

Size: 5,682,652 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2+b1_amd64.deb)
SHA1: ce24077abe9ba538085e89d9a6bc076c4bdcfa34
SHA256: fda0296b5b385b287e0dd44451a4d1c41dc118d9496a0fa85e3fbb2e80c93a72

Size: 14,092,616 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2+b1_amd64.deb
SHA1: 83273bc41a2775bcf474154702a7aa237ff072a4
Size: 571,112 bytes
coq-theories-dbgsym_8.9.1-2+b1_amd64.deb
SHA1: 9c8dd14409f7e93a9e08b258b30778fee4d390df
Size: 772,844 bytes
coq-dbgsym_8.9.1-2+b1_amd64.deb
SHA1: 9843b1f0a6677d48d99f17ec30c0d0647a1f0eac
Size: 4,323,428 bytes

Submissions

437t4trf
Submitted
Tue, 3 Dec 2019 18:13:06 +0000
Signed by
0xD9795CB00A61AF5E

Environment


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