2.0.8-1
amd64
Debian
amd64
Fri, 19 Apr 2024 07:19:08 +0000
/build/reproducible-path/coq-libhyps-2.0.8
67588c7edd930570026785011824981e9b697396
libcoq-libhyps_2.0.8-1_amd64.deb
)
9079b30fb96544581233928fe707d3a0080fb356
838cf61d4e885afe1c635b727381d0de2f34debbc87d84163ca382c730d6e460
0x5E6515A71A831546
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=12 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1703169596"