paramcoq_1.1.3-7_amd64.buildinfo (view)

Source
paramcoq
Version
1.1.3-7
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 16 Jul 2023 00:17:52 +0000
Build-Path
/build/1st/paramcoq-1.1.3

First submitted
Sun, 12 Jun 2022 18:00:37 +0000
SHA1 of .buildinfo
73907aec7d996f274e2f42711ca1af8c81f1c1bb

Binaries

libcoq-paramcoq (libcoq-paramcoq_1.1.3-7_amd64.deb)
SHA1: 504e6efe5f608061c6f0ae015c14d596b8cbf97d
SHA256: a2a5b990684382dba97fd62dbdb923d30994f798aa11477ffe434e9e55a0912c

Size: 3,592 bytes
libcoq-paramcoq-ocaml (libcoq-paramcoq-ocaml_1.1.3-7_amd64.deb)
SHA1: 60cf308f1cceca8069e13d335b5875a355b28d42
SHA256: e5726f31c5eee5b3096696eedf202058dd597c6770f7e8bbc3d1e0487fff15ac

Size: 98,236 bytes
libcoq-paramcoq-ocaml-dbgsym (libcoq-paramcoq-ocaml-dbgsym_1.1.3-7_amd64.deb)
SHA1: a681b76a568260c70ce9f176fdbd432291ab5a47
SHA256: 2ad1dc88cffccc3d577da9c4c2fc507a9504d2448dee56d373b409ad8693c2d1

Size: 12,084 bytes
libcoq-paramcoq-ocaml-dev (libcoq-paramcoq-ocaml-dev_1.1.3-7_amd64.deb)
SHA1: 686a9d81857593ca9e572f04aace1acdc174a198
SHA256: d613e71eb498c9cf88772a5ecd6fcb3754fb28efbc3f2daf12fb38ef70b41d64

Size: 24,000 bytes

Other checksums

Submissions

c99sqq9s
Submitted
Sun, 12 Jun 2022 18:00:37 +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="1654980439"