Subject: Ssreflect Users Discussion List
List archive
- From: Enrico Tassi <>
- To:
- Subject: Re: [ssreflect] getting ssreflect for 8.5beta1 through opam
- Date: Wed, 11 Feb 2015 17:24:45 +0100
On Wed, Feb 11, 2015 at 05:20:18PM +0100, Frederic Chyzak wrote:
> Hi,
>
> Can ssreflect for 8.5beta1 be obtained from opam?
Unfortunately we could not agree on the opam policy for the beta, so
things are messy. If you use this repo, then things should work:
https://github.com/gares/repo-v8.5.git
Best,
--
Enrico Tassi
- [ssreflect] getting ssreflect for 8.5beta1 through opam, Frederic Chyzak, 02/11/2015
- Re: [ssreflect] getting ssreflect for 8.5beta1 through opam, Enrico Tassi, 02/11/2015
Archive powered by MHonArc 2.6.18.