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

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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 29 Aug 2024 09:42:27 +0000
Build-Path
/build/2/paramcoq-1.1.3+coq8.17/2nd

First submitted
Fri, 28 Jul 2023 03:19:38 +0000
SHA1 of .buildinfo
55a07d323564d82768b8c823a7eeab49b545b37b

Binaries

libcoq-paramcoq (libcoq-paramcoq_1.1.3+coq8.17-2_arm64.deb)
SHA1: 025a8a748711f1dedd7003dd4d1b2b55ed1acd5c
SHA256: 2ae75fdc3006cece473cfd3209c53b755ddb837ca84a51692644cd73c728f893

Size: 123,016 bytes
libcoq-paramcoq-dbgsym (libcoq-paramcoq-dbgsym_1.1.3+coq8.17-2_arm64.deb)
SHA1: 4cf7ce481eab9f6da9937829bccd59e48f299ad9
SHA256: 6dd0a9db403ae8c8b105c622c83a558a65133e9d55b423dcfd73efa9e9b44a39

Size: 14,288 bytes

Other checksums

Submissions

wgnbkkwq
Submitted
Fri, 28 Jul 2023 03:19:38 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-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="1690272170"