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, 27 Dec 2020 21:35:51 +0000
Build-Path
/build/coq-8.9.1

First submitted
Mon, 25 Nov 2019 16:05:41 +0000
SHA1 of .buildinfo
c0185745abcb3b5aecc15cc942c58de44c3c9285

Binaries

coq (coq_8.9.1-2_amd64.deb)
SHA1: dc03a9a3fcecabe31cc98b51b2156e180d07a74e
SHA256: 0372ab300fc0c5f5f3c17eb7533fb7d3d5b5289ad007a6f380bee3edcce5e7d7

Size: 62,444,628 bytes
coq-theories (coq-theories_8.9.1-2_amd64.deb)
SHA1: ea4df0d0c4e516bb298b42d37344117010c6bce8
SHA256: a43328c60fe399d05061c8df85b4056c47ab31f49f5e758b8972af9d43d4cd79

Size: 30,199,736 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2_amd64.deb)
SHA1: fa7ba15a73cde671d70f85dd79334d91373ec9ec
SHA256: 4947b54b981904759f13f53f71e5fc84f3199c0ff602a35eb08669d4ca21b103

Size: 5,682,716 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2_amd64.deb)
SHA1: 4c98f6a4d5d8b5fd29b20de45c4c0a50c1f9d25b
SHA256: b1ee3a0552b9963c560ad1a26b0d90b4c3978a9c4ff51eac7c3d0e74ea6a92e8

Size: 14,094,192 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2_amd64.deb
SHA1: 777888fcf91973a818da89e43260a006b1d837b2
Size: 570,720 bytes
coq-theories-dbgsym_8.9.1-2_amd64.deb
SHA1: fa1231d9de8ad2c6e45121791d0c2cbac2413b0b
Size: 770,584 bytes
coq-dbgsym_8.9.1-2_amd64.deb
SHA1: e03b43a9244742bcb748d426199b2ac58bd6575a
Size: 4,181,928 bytes

Submissions

z49xgpza
Submitted
Mon, 25 Nov 2019 16:05:41 +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"