coq_8.9.1-2_amd64.buildinfo (view)

Source
coq
Version
8.9.1-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 31 Jan 2021 03:05:17 +0000
Build-Path
/build/coq-8.9.1

First submitted
Sun, 29 Dec 2019 23:16:09 +0000
SHA1 of .buildinfo
0b665a7c8496f3e2af5b613332b234d49d674ba3

Binaries

coq (coq_8.9.1-2_amd64.deb)
SHA1: 9d43fc6a70ddf66e6c02d25ce0cae64c1e34728b
SHA256: 0ae484ff1c5026f650e569509c0ccfef5b779830f40b2af18bd7c856be708714

Size: 62,448,588 bytes
coq-theories (coq-theories_8.9.1-2_amd64.deb)
SHA1: 4b4fe43aeb1a6a4889e86713cea0ca0a47c9b17a
SHA256: 9be48fc47ef8ace16c3c0c7327ca458756a320ff70a1dfac1505f7e51e293cbd

Size: 30,193,408 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2_amd64.deb)
SHA1: 35810a8105eab39974058ce307c979eec4bc71c8
SHA256: ec1f5410419e0a8c532e369e7a2a3182fd37249d7bf4be7306a16a70a0902cfc

Size: 5,681,664 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2_amd64.deb)
SHA1: c2cb0a0d2bdb598b965b507d600e4e4cc23ea7b3
SHA256: 2b9a3ec2e7f47bf4bb5687095d38b18817f2fe37f998c9cebee695a6b8085a9d

Size: 14,095,184 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2_amd64.deb
SHA1: 4a90cce89147fc24764979ee0ae9be999fe0a935
Size: 571,476 bytes
coq-theories-dbgsym_8.9.1-2_amd64.deb
SHA1: 1a3a9b559f420206972e2156b21a5e6313c0befb
Size: 769,864 bytes
coq-dbgsym_8.9.1-2_amd64.deb
SHA1: b07b1e608b8c0ed50269ebab3075462011ca6125
Size: 4,190,076 bytes

Submissions

ixjauukz
Submitted
Sun, 29 Dec 2019 23:16:10 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-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="1573228126"