coq-bignums_8.17.0-1_arm64.buildinfo (view)

Source
coq-bignums
Version
8.17.0-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 27 Dec 2022 13:43:20 +0000
Build-Path
/build/coq-bignums-KmQmam/coq-bignums-8.17.0

First submitted
Tue, 27 Dec 2022 18:16:55 +0000
SHA1 of .buildinfo
6d62a5d6d414c6257f9f469277811310163aca13

Binaries

libcoq-bignums (libcoq-bignums_8.17.0-1_arm64.deb)
SHA1: cde5b4812cf21db21a37d61ee5ecbdde37eee9bf
SHA256: a5d633e99a5c35295144e542f40b1217503e6fb6448362ae2afc9393f2a5fb62

Size: 1,824,336 bytes
libcoq-bignums-dbgsym (libcoq-bignums-dbgsym_8.17.0-1_arm64.deb)
SHA1: e75d1ac930090bb8297a0eac9bc7c51ee6050717
SHA256: cc660634ed6e45d7df6274155d58a5a34b4bcf13d49e3f7cadc7c5bbf76df1de

Size: 3,680 bytes

Other checksums

Submissions

hxeg4rtm
Submitted
Tue, 27 Dec 2022 18:16:55 +0000
Signed by
0x15B0D8D0DA4BE456

Environment


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