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

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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 23 Oct 2023 20:13:16 +0000
Build-Path
/build/1st/paramcoq-1.1.3+coq8.16

First submitted
Tue, 20 Sep 2022 13:57:24 +0000
SHA1 of .buildinfo
5370cbef7f3f578c0a7dee95bae98e07f53f14f2

Binaries

libcoq-paramcoq (libcoq-paramcoq_1.1.3+coq8.16-2_amd64.deb)
SHA1: 66938e6a7f19a8ed7148043da1dc954db885c244
SHA256: f808f24361b495b3f43d3f5717df4e6869a5df02b22c917d1bab043b21dde540

Size: 115,208 bytes
libcoq-paramcoq-dbgsym (libcoq-paramcoq-dbgsym_1.1.3+coq8.16-2_amd64.deb)
SHA1: e4b848007367d77cf07a27b033163fa58c4538cb
SHA256: 9e58bfcc084a348f2b21f069f0b83c4ca6291d6756611bc89fd590a1de3d2692

Size: 12,072 bytes

Other checksums

Submissions

9w7isazh
Submitted
Tue, 20 Sep 2022 13:57:24 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-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="1663052279"