2.40-2
all
Debian
amd64
Sat, 12 May 2018 13:39:02 +0000
/build/why-G8tBAz/why-2.40
bcdfdaff53ac9713e8b2a66f6129eb62720c0200
libwhy-coq_2.40-2_all.deb
)
8e8c9a7d3fedd52b9cab6d2bb0fd2f7d3fe19ff7
b57523898c0bcc2781a8c786d0d8245c5bd4b753d0c8e39345ec0e93e122938d
)
0x77A935AC72C39EAB
DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1526128582"