coq_8.9.0-1_amd64.buildinfo (view)

Source
coq
Version
8.9.0-1
Architecture
amd64 source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 6 Feb 2019 17:51:37 +0000
Build-Path
/build/coq-bJ8gug/coq-8.9.0

First submitted
Thu, 7 Feb 2019 00:10:46 +0000
SHA1 of .buildinfo
0ea4a4f52635c5b20b1cd3524fd2ecca0a81b038

Binaries

coq (coq_8.9.0-1_amd64.deb)
SHA1: 7cec356e8f21970af83002cd224e90fe7cea66b7
SHA256: cfa6621744062e4c39a9da4d4beaa15e7af8bcb571f75da71c67040f51ce02c8

Size: 58,990,560 bytes
coq-theories (coq-theories_8.9.0-1_amd64.deb)
SHA1: 6ccb1474dfa447143d8d639e722b9a0e3121a23d
SHA256: b08ab391ee8385f82d4f25c0edcd2e974ddc4385497afb39c027202be4fefcad

Size: 29,737,672 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_amd64.deb)
SHA1: 946676d495835202c8096f47a11333fa78c07248
SHA256: 589531afe8e00fd3f711d2c4d5eed9003f9c4f5db197132f0160e8f24ff43d59

Size: 5,463,112 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_amd64.deb)
SHA1: 4e5ad529c09eb21295ce0a479b6d1c4ee71c56c0
SHA256: 380b71f424d119587d5387055ae272fe33cf187f4c84fc5131af659fb659e474

Size: 13,703,936 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_amd64.deb
SHA1: ac7f216c33ff1cf53ff0239da632274774a7522d
Size: 534,608 bytes
coq_8.9.0-1.dsc
SHA1: 9bbd3854ecbfb64f66724d1f84ffbf94da076416
Size: 2,417 bytes
coq-theories-dbgsym_8.9.0-1_amd64.deb
SHA1: e89f1bc50b17201c8b433ea73a258c11dce56cf7
Size: 773,124 bytes
coq-dbgsym_8.9.0-1_amd64.deb
SHA1: 6d94e4a8b95d18300479e85a88aba3ddf8b8c990
Size: 3,736,676 bytes

Submissions

vwzrrohh
Submitted
Thu, 7 Feb 2019 00:10:46 +0000
Signed by
0xE595159B9DC0EDC3 Benjamin Barenblat <bbarenblat@gmail.com>

Environment


DEB_BUILD_OPTIONS="parallel=8"
LANG="en_US.UTF-8"
LC_ALL="POSIX"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
MAKEFLAGS=" -j8"
SOURCE_DATE_EPOCH="1549474869"