0.11.7-2
amd64
Debian
amd64
Thu, 29 Feb 2024 00:29:53 +0000
/build/1st/coq-ext-lib-0.11.7
404cd6e760ff82cee972081b2b459a34149a770a
libcoq-ext-lib_0.11.7-2_amd64.deb
)
82bef99bd92f6984f1fc2362d0b15c32b0475623
4aefcba76b327519a2f85ad1ad61138f542ac84798bd94bf4dbbf3afed39a760
0xBFF95736F711C117
profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1674629755"