coq_8.9.0-1_amd64.buildinfo (view)

Source
coq
Version
8.9.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 13 Jun 2020 14:02:08 +0000
Build-Path
/build/coq-8.9.0

First submitted
Sun, 12 May 2019 09:41:13 +0000
SHA1 of .buildinfo
5072fc9620ad24bf6899e382ddad569931065ba3

Binaries

coq (coq_8.9.0-1_amd64.deb)
SHA1: df516f2341e2e558a9f91113a1c57530d0ab8b0f
SHA256: d24a338cbc36d5515d45199e6f212179e9b3c1854aca65bb0c8d86c9e5f48085

Size: 58,980,444 bytes
coq-theories (coq-theories_8.9.0-1_amd64.deb)
SHA1: ec2bf6e4b2e7dea61636ec68bd2e55b864b6d59a
SHA256: 146aa26de245373173de93b280eb29a6cc0faaf855e9a487f03d1d484be5a1c7

Size: 29,749,756 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_amd64.deb)
SHA1: 769bc2176b8a1d0286783d55c0018a378a4428cb
SHA256: c074e528aff980348e79d138bd103b319cd3a25253407a63c0d2f39134420763

Size: 5,463,860 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_amd64.deb)
SHA1: 98ec818a5b07bb7a4e0b7b58bb6648d907a8e14e
SHA256: 77b71158957d302e1701bb331e4fc1671cf07d52537278ea35367bb9c3689def

Size: 13,707,168 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_amd64.deb
SHA1: 2ad052d3f1cfe9c380b53a22790d973d5d3d8dde
Size: 534,572 bytes
coq-theories-dbgsym_8.9.0-1_amd64.deb
SHA1: d79d37dc7688a781a73ba142643a512d8df92429
Size: 772,908 bytes
coq-dbgsym_8.9.0-1_amd64.deb
SHA1: c8e9121d7cd917f6affdcc5d5d15da8e773c71b7
Size: 3,891,688 bytes

Submissions

tfidabga
Submitted
Sun, 12 May 2019 09:41:13 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1549474869"