0.11.8-1
arm64
Debian
arm64
Tue, 21 Jan 2025 12:59:05 +0000
/build/reproducible-path/coq-ext-lib-0.11.8
51db4230bdfa34db86d552d107d23bb7b61b945b
libcoq-ext-lib_0.11.8-1_arm64.deb
)
50df36fdd4e19059d14a0c462e83635ea42d7fde
95ecab713fcb672fd90156e12b582e5c2bec8c46f60b55249635e53764e8977a
0x8C42C611576CA54A
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=12 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1686590986"