coq-elpi_1.13.0-7_amd64.buildinfo (view)

Source
coq-elpi
Version
1.13.0-7
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 22 Apr 2022 09:24:24 +0000
Build-Path
/build/coq-elpi-1.13.0

First submitted
Fri, 22 Apr 2022 09:24:44 +0000
SHA1 of .buildinfo
e67d2e88f935c73f79a72168ccc4a6f94c7d1cbb

Binaries

libcoq-elpi (libcoq-elpi_1.13.0-7_amd64.deb)
SHA1: 140f1f9dd3741704bc4e973debbbaeda08c1b4f9
SHA256: 35613b74ee3e38876e3ea193c1a97c07a843e2cd664aeb4d5aba7463b42deafd

Size: 457,676 bytes
libcoq-elpi-ocaml (libcoq-elpi-ocaml_1.13.0-7_amd64.deb)
SHA1: 0fc52b78094b1a561578ef9306be4388d0b2124f
SHA256: 2b56370283da1fada50b340489a9a972bfbaae6fd042cc15751b960210a65be8

Size: 3,563,172 bytes
libcoq-elpi-ocaml-dbgsym (libcoq-elpi-ocaml-dbgsym_1.13.0-7_amd64.deb)
SHA1: d2c41147d257c067b0d1b0a86c9bb3936ada3d1b
SHA256: 7c78aa95ffde0d96a68c66d9d3b20c86b0fbe4575373c6dac33e8423b0a26af6

Size: 230,644 bytes
libcoq-elpi-ocaml-dev (libcoq-elpi-ocaml-dev_1.13.0-7_amd64.deb)
SHA1: dda644e1d556427503508b72bed387bc4c182c4b
SHA256: 47de70dda7281b553db9cc6fd036ba234b4c46504c87100c5e0a5f3692e4953a

Size: 1,290,112 bytes

Other checksums

Submissions

n7bjuusq
Submitted
Fri, 22 Apr 2022 09:24:44 +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="1650196122"