Source
coqeal (1.1.1-1)
Version
1.1.1-1+b2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 9 Sep 2022 15:17:46 +0000
Build-Path
/build/coqeal-Dul5Ip/coqeal-1.1.1

First submitted
Fri, 9 Sep 2022 18:12:45 +0000
SHA1 of .buildinfo
41c8de1470e82808532ec0613105e60459269617

Binaries

libcoq-coqeal (libcoq-coqeal_1.1.1-1+b2_amd64.deb)
SHA1: a6f94665a737dc48478fae875bdd512270cf50d4
SHA256: 95c5c7118945a85c4f70f313aa1b963af89734888606251e9d35479d3d972db6

Size: 4,620,220 bytes

Other checksums

Submissions

Submitted
Fri, 9 Sep 2022 18:12:45 +0000
Signed by
0xB46845950145956B

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1662736590"