coq-elpi (1.17.1-1)_1.17.1-1+b7_amd64.buildinfo (view)

Source
coq-elpi (1.17.1-1)
Version
1.17.1-1+b7
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 20 Aug 2023 18:45:30 +0000
Build-Path
/build/reproducible-path/coq-elpi-1.17.1

First submitted
Mon, 21 Aug 2023 00:11:22 +0000
SHA1 of .buildinfo
1bd6d1a6bb82321bd8aa0d5aca2b387698351c21

Binaries

libcoq-elpi (libcoq-elpi_1.17.1-1+b7_amd64.deb)
SHA1: e74a1de6eee194f373166000b571e01ecff01b3e
SHA256: 4f33076d56b02cf6063c2608969cac5dfeafe759c0a42dc809734b91da7ca32e

Size: 2,438,868 bytes
libcoq-elpi-dbgsym (libcoq-elpi-dbgsym_1.17.1-1+b7_amd64.deb)
SHA1: 34030d670cf43ba1fa90ae01f20570a8baeb580e
SHA256: b4f193b73f40abef4cf09d5d182f65ccab7561d792860533f75b4a9553d1629a

Size: 105,964 bytes

Other checksums

Submissions

p7rcfcsh
Submitted
Mon, 21 Aug 2023 00:11:22 +0000
Signed by
0x8F962315E0D9D093

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1692557000"