1.1.1-1+b3
arm64
Debian
arm64
Tue, 13 Sep 2022 09:19:23 +0000
/build/coqeal-gtLCc6/coqeal-1.1.1
5c376a8d74763f18db54ae286c99f4a550c191f0
libcoq-coqeal_1.1.1-1+b3_arm64.deb
)
fd0705fad825c9d9deefdb9a16bbc1d23cfaa35c
a485b37a2d3d49ad72f94f4df82e4fbb7a3a5f2a20a3aee9a45bf312cc11e3d6
0x15B0D8D0DA4BE456
DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1663060551"