Thanks for the ping! The package should now be available on opam. Note that a 4.06-compatible release would get included even faster :-)
On Fri, Oct 13, 2017 at 1:40 PM, Mohamed Iguernlala <iguer.a...@gmail.com> wrote: > Hello, > > OPAM repository's continuous integration tools are becoming > really strict and check a lot of situations and cases before a > new package is accepted. > > Why3 0.88.0 has been proposed 7 days ago, but it's still not > included in the repo: > > https://github.com/ocaml/opam-repository/pull/10413 > > -Mohamed. > > > > On 13/10/2017 12:54, Gerlach, Jens wrote: >> >> 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 > > > _______________________________________________ > Why3-club mailing list > Why3-club@lists.gforge.inria.fr > https://lists.gforge.inria.fr/mailman/listinfo/why3-club _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club