coq-bignums_8.16.0-1_armhf.buildinfo (view)

Source
coq-bignums
Version
8.16.0-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 18 Sep 2022 23:48:11 +0000
Build-Path
/build/coq-bignums-8.16.0

First submitted
Sun, 18 Sep 2022 23:52:52 +0000
SHA1 of .buildinfo
a17e9473036b68407517e5e89fa29a84707f3f82

Binaries

libcoq-bignums (libcoq-bignums_8.16.0-1_armhf.deb)
SHA1: cbbf2b81aab68ed11410b2c857daf0d323815636
SHA256: 351ab5b6c9849db9044c7c857d46d773df03c45011b51e5394a263f35701600c

Size: 1,823,564 bytes
libcoq-bignums-dbgsym (libcoq-bignums-dbgsym_8.16.0-1_armhf.deb)
SHA1: c87179659c998a4017022b504b85045ea35561f3
SHA256: db073713b20c1861b645cb771d38454d8068926a3629e096522860be1796c047

Size: 3,884 bytes

Other checksums

Submissions

rxqopeo3
Submitted
Sun, 18 Sep 2022 23:52:52 +0000
Signed by
0x2738E803AC4FE478

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1661179000"