coq-bignums_8.17.0-3_i386.buildinfo (view)

Source
coq-bignums
Version
8.17.0-3
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Mon, 12 Jun 2023 23:58:59 +0000
Build-Path
/build/coq-bignums-n4w5iM/coq-bignums-8.17.0

First submitted
Tue, 13 Jun 2023 06:13:55 +0000
SHA1 of .buildinfo
5dc00c2c94026af75a63eb6b368eeafe1494b11c

Binaries

libcoq-bignums (libcoq-bignums_8.17.0-3_i386.deb)
SHA1: 1df0fb004ea6ecc80b0a494ddcd901cdd8ed4ce7
SHA256: 9456efe2f026eec8f85702104f82255980a69de6446e8c02e85754a0b416b960

Size: 1,823,596 bytes
libcoq-bignums-dbgsym (libcoq-bignums-dbgsym_8.17.0-3_i386.deb)
SHA1: 9ff9907c6100c81379564b037eedfbebfa3c2ca7
SHA256: 882f3fe79e8d1aed1202ad937b5be54333bf49275b54bcfe3eb574547f0fc717

Size: 3,412 bytes

Other checksums

Submissions

hnohhv4n
Submitted
Tue, 13 Jun 2023 06:13:55 +0000
Signed by
0xA2DB36DFF9287341

Environment


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