2.39-1
all
Debian
amd64
Wed, 6 Sep 2017 22:05:12 +0000
/build/why-caA8eP/why-2.39
18a1f22b4fedc36b4ccb4a91066acefea9c8005e
libwhy-coq_2.39-1_all.deb
)
30add2b31fc5738540716d0b3b60383b17bb498d
acd6ae5bebe3e89cb8355d7ef0fd4ca1f2a2f97484de0265cb2dcbefa75dc705
)
0x77A935AC72C39EAB
DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1504726498"