Hello, I have seen the announcement for why3-0.88.0 but it is not yet available through opam. Is there a particular reason for this?
Regards Jens _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club
