coq-elpi_1.16.0-1_amd64.buildinfo (view)

Source
coq-elpi
Version
1.16.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 21 Nov 2022 01:48:55 +0000
Build-Path
/build/1st/coq-elpi-1.16.0

First submitted
Mon, 21 Nov 2022 01:59:29 +0000
SHA1 of .buildinfo
550b1b36c70be83ab5ed1d60fb519d6b8b2b7db3

Binaries

libcoq-elpi (libcoq-elpi_1.16.0-1_amd64.deb)
SHA1: d4a725deba914bad1616257f4b1424f12c71db38
SHA256: 70a6883e513b77e801d14c8ea3615052a41dda0db62c032d065ce8bbe5104934

Size: 2,428,340 bytes
libcoq-elpi-dbgsym (libcoq-elpi-dbgsym_1.16.0-1_amd64.deb)
SHA1: 8217e909b82af62be4c27aa433669c52b7b68ed8
SHA256: 797bbcb94021551119599ffb9e864da197b38523ab821fe91226d2f1cb454d06

Size: 103,336 bytes

Other checksums

Submissions

sogwawwt
Submitted
Mon, 21 Nov 2022 01:59:29 +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="1668879084"