coq_8.11.0-1_amd64.buildinfo (view)

Source
coq
Version
8.11.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 24 Mar 2020 02:27:29 +0000
Build-Path
/build/coq-8.11.0

First submitted
Tue, 24 Mar 2020 02:28:33 +0000
SHA1 of .buildinfo
43f0e6934ae56ba9fe2f4297e35044918a14a051

Binaries

coq (coq_8.11.0-1_amd64.deb)
SHA1: 7f31da55c85fdf3fe6b93afcc26531204556de90
SHA256: 00f2d20c457fed7ab531bb2933689b09d41d448f7d33f03832578e663042f5a0

Size: 76,604,216 bytes
coqide (coqide_8.11.0-1_amd64.deb)
SHA1: ec918c7a8350ade812c116ef5f361365c7dd978c
SHA256: 80df9e06b71d9113c117d8e35c1e36eec3413159b87dcff83b29861e7b677067

Size: 1,765,468 bytes
coq-theories (coq-theories_8.11.0-1_amd64.deb)
SHA1: d116ae0bb3eb1220bedc655d0dd26b69c06edc14
SHA256: 4ab9a5fe5a7be0eafac12869dc75698cd08135c5e33e71bce8b036e84a3aae56

Size: 33,262,344 bytes
libcoq-ocaml (libcoq-ocaml_8.11.0-1_amd64.deb)
SHA1: 9d6877a3560a9a7624466501fe6cd022f6bf01c7
SHA256: 75a5861e6d460edaa07e12c346d80278cce2a0f6e7916a511d70437b61fe6eb3

Size: 6,351,644 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.11.0-1_amd64.deb)
SHA1: e2b076df0d1b8871b4b66f198d306128a5fe2d91
SHA256: 1528800ca6a44c77dcfbb092dba1dde6ba7c7a5bb25b734f6bceb861df4e3f1b

Size: 16,075,120 bytes

Other checksums

libcoq-ocaml-dbgsym_8.11.0-1_amd64.deb
SHA1: 320954f5b15275149790af8f14fd07e0a9fe7a9f
Size: 649,608 bytes
coqide-dbgsym_8.11.0-1_amd64.deb
SHA1: 820c4989be4afb02e3e72d58c4fb6bf7cac94880
Size: 533,436 bytes
coq-theories-dbgsym_8.11.0-1_amd64.deb
SHA1: 3b5b873a2da5bfdf4b8adfe584fed914f6cc8b29
Size: 873,216 bytes
coq-dbgsym_8.11.0-1_amd64.deb
SHA1: a20b69087636318f08ad525e80aebe375f6fa1f7
Size: 7,206,424 bytes

Submissions

vk3pnfup
Submitted
Tue, 24 Mar 2020 02:28:33 +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="1583440650"