debian/0.87.0-3

Ralf Treinen

@treinen

1cc0547b · tests: run why3 config --detect-provers · Apr 14, 2016

why3 Debian release 0.87.0-3