Skip to Content.
Sympa Menu

ssreflect - Re: [ssreflect] getting ssreflect for 8.5beta1 through opam

Subject: Ssreflect Users Discussion List

List archive

Re: [ssreflect] getting ssreflect for 8.5beta1 through opam


Chronological Thread 
  • 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



Archive powered by MHonArc 2.6.18.

Top of Page