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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 13 Sep 2022 09:17:27 +0000
Build-Path
/build/coqeal-HzKiHZ/coqeal-1.1.1

First submitted
Tue, 13 Sep 2022 12:10:48 +0000
SHA1 of .buildinfo
a3e6c83ddaa0f012553bcf9e06ec8dd3917e8414

Binaries

libcoq-coqeal (libcoq-coqeal_1.1.1-1+b3_amd64.deb)
SHA1: 0dafe10710d56b6ab36160a5c1b0ec9f54314e8f
SHA256: 9a93f8fe8baa9e478cad671b2b5af5380b321488a74ff16bfa8f8382a6ba2d45

Size: 4,619,472 bytes

Other checksums

Submissions

Submitted
Tue, 13 Sep 2022 12:10:49 +0000
Signed by
0xA57296EC987C3292

Environment


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