paramcoq_1.1.3+coq8.16-2_arm64.buildinfo (view)

Source
paramcoq
Version
1.1.3+coq8.16-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 31 Dec 2023 20:26:46 +0000
Build-Path
/build/1st/paramcoq-1.1.3+coq8.16

First submitted
Mon, 28 Nov 2022 14:06:09 +0000
SHA1 of .buildinfo
b9e01cfcfbaca3c5ccd1cea9a11cbd97df92c731

Binaries

libcoq-paramcoq (libcoq-paramcoq_1.1.3+coq8.16-2_arm64.deb)
SHA1: dd1e397d83853eaa524434597e06ab6590a67cf6
SHA256: 854cbca7a7a39e55d3e2cf85f6e935f05161a7b3711fdf3830a57f70cd41d42b

Size: 122,720 bytes
libcoq-paramcoq-dbgsym (libcoq-paramcoq-dbgsym_1.1.3+coq8.16-2_arm64.deb)
SHA1: bc50aa4c022796ab63f4767c27cbe1cf3d2a8feb
SHA256: 92812aba6c6a58a8a2d0df07ad8aa7189a1fc1eb8f76edb6e8eb64d4625b290b

Size: 14,300 bytes

Other checksums

Submissions

sdfuurqp
Submitted
Mon, 28 Nov 2022 14:06:09 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1663052279"