coq-bignums (8.16.0-1)_8.16.0-1+b1_arm64.buildinfo (view)

Source
coq-bignums (8.16.0-1)
Version
8.16.0-1+b1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 29 Nov 2022 23:23:31 +0000
Build-Path
/build/coq-bignums-BA9uuz/coq-bignums-8.16.0

First submitted
Wed, 30 Nov 2022 00:25:24 +0000
SHA1 of .buildinfo
c5fe1c1657a96d4ea3d28806e00badc24692f535

Binaries

libcoq-bignums (libcoq-bignums_8.16.0-1+b1_arm64.deb)
SHA1: 90219bdc11b62b084126982e4df337f7388fc0ce
SHA256: 7de717dbf7b61e0e0f942ab522f1fe10c90e3f72f0298bab9d5a66348f7b608b

Size: 1,824,096 bytes
libcoq-bignums-dbgsym (libcoq-bignums-dbgsym_8.16.0-1+b1_arm64.deb)
SHA1: 3663ac836e8d6d0447406fae08897d1e890c0a49
SHA256: 61ff0bad8333fe2cf36e1e4511883111d6a0e3e590a1a4fae36ee843f290f387

Size: 3,688 bytes

Other checksums

Submissions

cedv94mf
Submitted
Wed, 30 Nov 2022 00:25:24 +0000
Signed by
0xC807690CBF7C490E

Environment


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