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
Wed, 25 Oct 2023 03:28:11 +0000
Build-Path
/build/paramcoq-1.1.3+coq8.16

First submitted
Wed, 21 Sep 2022 21:05:29 +0000
SHA1 of .buildinfo
cf64eb4d4f4fabbb7b37d8c42e0c26a7edba682c

Binaries

libcoq-paramcoq (libcoq-paramcoq_1.1.3+coq8.16-2_arm64.deb)
SHA1: fbdaf4d34bb56a2c1cca04c924477f90630a02f7
SHA256: 7a8a2c517dd711efd542335908c11d5c5fbd2f000446ac22e1a71c93fa9427f2

Size: 122,676 bytes
libcoq-paramcoq-dbgsym (libcoq-paramcoq-dbgsym_1.1.3+coq8.16-2_arm64.deb)
SHA1: 587aac3d6a5cc4128e1b8a858e1b9c3a3862e99e
SHA256: b97f59a17ee83b5dfda05f1c9b80e69d70761ca63f33d6af00319ff83f7a5a05

Size: 14,304 bytes

Other checksums

Submissions

mr4p4fbg
Submitted
Wed, 21 Sep 2022 21:05:30 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-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"