coq-bignums (8.17.0-2)_8.17.0-2+b1_arm64.buildinfo (view)

Source
coq-bignums (8.17.0-2)
Version
8.17.0-2+b1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 13 Feb 2023 05:05:46 +0000
Build-Path
/build/coq-bignums-00Twtb/coq-bignums-8.17.0

First submitted
Mon, 13 Feb 2023 06:29:25 +0000
SHA1 of .buildinfo
280b4f43ca0241bc0ee98ed44108b70b9c4ca156

Binaries

libcoq-bignums (libcoq-bignums_8.17.0-2+b1_arm64.deb)
SHA1: e16a4e2799e437b42a5fa002240fb8e338db8397
SHA256: 5c255cf157d2050d01c5e3d9d2d986fd04c0ce16f72dd1b3f636b3c0811f79f2

Size: 1,824,864 bytes
libcoq-bignums-dbgsym (libcoq-bignums-dbgsym_8.17.0-2+b1_arm64.deb)
SHA1: 51f94296b4b6d38401a224927b408e2cde0e70bb
SHA256: c5b38eff205e5ddab19252d4282b9004a6ef758df12d43048d0c82788bb25818

Size: 3,696 bytes

Other checksums

Submissions

k9x3ka7s
Submitted
Mon, 13 Feb 2023 06:29:25 +0000
Signed by
0x12AC3A7EE3DC6E36

Environment


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