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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 13 Sep 2022 09:19:23 +0000
Build-Path
/build/coqeal-gtLCc6/coqeal-1.1.1

First submitted
Tue, 13 Sep 2022 12:10:51 +0000
SHA1 of .buildinfo
5c376a8d74763f18db54ae286c99f4a550c191f0

Binaries

libcoq-coqeal (libcoq-coqeal_1.1.1-1+b3_arm64.deb)
SHA1: fd0705fad825c9d9deefdb9a16bbc1d23cfaa35c
SHA256: a485b37a2d3d49ad72f94f4df82e4fbb7a3a5f2a20a3aee9a45bf312cc11e3d6

Size: 4,620,264 bytes

Other checksums

Submissions

Submitted
Tue, 13 Sep 2022 12:10:51 +0000
Signed by
0x15B0D8D0DA4BE456

Environment


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