2.40-4
all armhf
Debian
armhf
Mon, 25 Feb 2019 10:30:18 +0000
/build/1st/why-2.40
5af85c198af5381f23eb4ce1e27de34e6bf137c5
libwhy-coq_2.40-4_all.deb
)
e750fa2c54f1741bd14b952aa0442a30e9e3e077
aa8ce4108bbcbc9c65ca3b3ed6dbb85d4d778894adb3a1cd02095b42eef42f03
why_2.40-4_armhf.deb
)
c00e4b346e1b204b83e8402a3913962ec44475d1
c4b526f7ea603b9dddb6a7f34ce9142d53a46637abd4533789e3a5efe433aedd
why-dbgsym_2.40-4_armhf.deb
1918718d410c87b65f61e5f7386d148347079f97
0xB31CD0602364F84B
jtx1c (Automatically generated key for signing .buildinfo files)
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1550876695"