• Benjamin Barenblat's avatar
    Rebuild against coq/8.9.0-1 · 3a1e7430
    Benjamin Barenblat authored
    Refresh libwhy-coq’s dependency on Coq. Ideally, this would have been
    done with a binNMU, but libwhy-coq is an Architecture: all package, so
    binNMUs don’t do anything.
    3a1e7430
Name
Last commit
Last update
atp Loading commit data...
config Loading commit data...
debian Loading commit data...
doc Loading commit data...
frama-c-plugin Loading commit data...
java Loading commit data...
jc Loading commit data...
lib Loading commit data...
mix Loading commit data...
src Loading commit data...
tests Loading commit data...
tools Loading commit data...
.depend Loading commit data...
.depend.coq Loading commit data...
CHANGES Loading commit data...
COPYING Loading commit data...
INSTALL Loading commit data...
LICENSE Loading commit data...
Makefile.in Loading commit data...
README Loading commit data...
Version Loading commit data...
configure Loading commit data...
configure.in Loading commit data...
version.sh Loading commit data...