coq_8.9.1-1_amd64.buildinfo (view)

Source
coq
Version
8.9.1-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 12 Nov 2019 18:48:56 +0000
Build-Path
/build/coq-8.9.1

First submitted
Tue, 12 Nov 2019 21:44:06 +0000
SHA1 of .buildinfo
8cc6c0095fa6e070dbf45c959a70604c2c4617d5

Binaries

coq (coq_8.9.1-1_amd64.deb)
SHA1: f35d0d7a0ac2115bcb14b934bb2cd41c10f26dc5
SHA256: 29d31fe20bc386eeef63efc8433b379e59346236b7a0ecaa36eae8c5114bc54b

Size: 59,079,380 bytes
coq-theories (coq-theories_8.9.1-1_amd64.deb)
SHA1: 91dc0e157b2ffb0f8687bd00a076defe35f2d3a1
SHA256: 95fcabc6aa798d72014851bba8087fa6baf4557d47be05dc8372c8108d70fb81

Size: 29,725,136 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-1_amd64.deb)
SHA1: b728ccc4ff92420bb31d5026bddc0c4508f8e7a6
SHA256: fa9f7fc1acdd56181ecfcdd50216d8f449fa23a1087bfe4629cbda0a6577a362

Size: 5,520,468 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-1_amd64.deb)
SHA1: 39ea5eae47ad7b8403ba9f4af07a3acf4583e155
SHA256: 8b93f5b2569f9364f3002503cc86150802266d1f829b2b0a3d473f0b92522822

Size: 13,741,000 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-1_amd64.deb
SHA1: 2db9d10555e475987fbf497bbb326e8452522617
Size: 537,916 bytes
coq-theories-dbgsym_8.9.1-1_amd64.deb
SHA1: 7c4ba320506e58f4d95ac7d6d83a8a7e067a8e21
Size: 772,108 bytes
coq-dbgsym_8.9.1-1_amd64.deb
SHA1: a367b89968c79814455246150a436f23b99c1b41
Size: 3,827,732 bytes

Submissions

9brwxiev
Submitted
Tue, 12 Nov 2019 21:44:07 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1566270574"