Package: why / 2.34-2

Metadata

Package Version Patches format
why 2.34-2 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
atp versions | (download)

tools/dpConfig.ml | 4 2 + 2 - 0 !
1 file changed, 2 insertions(+), 2 deletions(-)

 update accepted versions of external provers