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
Tue, 20 Feb 2024 12:15:50 +0000
Build-Path
/build/coq-elpi-1.16.0

First submitted
Wed, 18 Jan 2023 05:56:27 +0000
SHA1 of .buildinfo
1dac863640a63138cef2e30bcf3d1e19ce8d9e13

Binaries

libcoq-elpi (libcoq-elpi_1.16.0-1_amd64.deb)
SHA1: fbf960c2de1d57336edd0ecbf09702fefdab0b69
SHA256: ed52b8062ce977a48c89235ab090d0b5eb030d1e051edeb47d4ea1ebd5e0a8d8

Size: 2,429,144 bytes
libcoq-elpi-dbgsym (libcoq-elpi-dbgsym_1.16.0-1_amd64.deb)
SHA1: 12755873e11d0bc7594f48d7742b27e5866dc906
SHA256: f3a57d0b99ca37acc7ccb8ea6a452874ba2c893f106b511f7c78ccbb5b4cd9ce

Size: 103,080 bytes

Other checksums

Submissions

ebnbbjwy
Submitted
Wed, 18 Jan 2023 05:56:28 +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="1668879084"