8.13.0-1
i386
Debian
i386
Fri, 1 Sep 2023 06:23:45 +0000
/build/coq-corn-8.13.0
3fdcf7ce859c43da573223e8b6d519401f315cb4
libcoq-corn_8.13.0-1_i386.deb
)
66db30469dfab31d3696e9e959df6f9330d06fff
fc7d8d9f2eb269dbc78304023755df47400447d96b790d9a996164084dfa4754
0x1310D22166A88B5F
profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1657879454"