paramcoq_1.1.3-4_amd64.buildinfo (view)

Source
paramcoq
Version
1.1.3-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 5 Jul 2023 04:33:46 +0000
Build-Path
/build/1st/paramcoq-1.1.3

First submitted
Wed, 1 Jun 2022 22:13:44 +0000
SHA1 of .buildinfo
d04660076b57ae858327404606e5277ebcd783de

Binaries

libcoq-paramcoq (libcoq-paramcoq_1.1.3-4_amd64.deb)
SHA1: da767caa483b6418820f2d8817906943e502c9fa
SHA256: 6ac00c73bf55992c918396dff951ad4f3730eb9eb0c0c26d9132a9e9339fa116

Size: 113,996 bytes
libcoq-paramcoq-dbgsym (libcoq-paramcoq-dbgsym_1.1.3-4_amd64.deb)
SHA1: fceb3f68f4dd4ae161df147aad7dc5d6b8a84fe9
SHA256: 79cfa89c179aba9baee8f5fe02e01afad6211a2d19abc9148997f71294135a05

Size: 12,096 bytes

Other checksums

Submissions

wv7e7ouo
Submitted
Wed, 1 Jun 2022 22:13:46 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1654089554"