2.36-5
all amd64
Debian
amd64
Wed, 25 Jan 2017 17:18:00 +0000
/build/1st/why-2.36
6998779230d58ef160a1d75b2785133428a70715
libwhy-coq_2.36-5_all.deb
)
270e597906ec4709b34a8340e3208a111a1e6471
c9a31cd140466cd148df4c356c54cf8c744f62f8e0d3fe8e6815255ae70d2c67
why_2.36-5_amd64.deb
)
1efb486d3328b4752930b885f11a0488e1940ff8
e7ced5fac6a79d32529346b8d70dcb83bab23e4c0f7ace6778a797c2dbc38717
0xBB1FD085171F6E18
profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)
DEB_BUILD_OPTIONS="parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1482840798"