1.1.1-1+b3
amd64
Debian
amd64
Tue, 13 Sep 2022 09:17:27 +0000
/build/coqeal-HzKiHZ/coqeal-1.1.1
a3e6c83ddaa0f012553bcf9e06ec8dd3917e8414
libcoq-coqeal_1.1.1-1+b3_amd64.deb
)
0dafe10710d56b6ab36160a5c1b0ec9f54314e8f
9a93f8fe8baa9e478cad671b2b5af5380b321488a74ff16bfa8f8382a6ba2d45
0xA57296EC987C3292
DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1663060571"