8.16.0-1
amd64
Debian
amd64
Wed, 18 Jan 2023 01:53:44 +0000
/build/coq-corn-8.16.0
9f91ba9eae8308f45b77bf34b2a9a123079d6bf2
libcoq-corn_8.16.0-1_amd64.deb
)
72d2607543f5380bed659417aced1e64a6146f01
053d29fa01584423e5565237e97c7d0ff23ae8f4e05a095b43f0243a1501b5eb
0x5FA3DA39796FBACF
profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1662411241"