Ssreflect Users Discussion List

[Andrej Bauer <>]

We are in coq trunk because we are making changes to the coq kernel.

On Wed, Oct 10, 2012 at 10:19 AM, Enrico Tassi <> wrote:
> On Wed, Oct 10, 2012 at 09:59:44AM -0400, Andrej Bauer wrote:
>> So, what are the chances that you would make the ssrefelct library, or
>> at least the tactics part of it, publicly available on github?
>
> I guess I need to consult a little with Georges, but before that:
> which version do you need? you build on Coq trunk or Coq 8.4?
>
> The version for 8.4 is publicly available, and mirroring it on github is
> not a big deal IMO, since it is not a moving target. The version for
> trunk changes quite often, to keep up with the changes in trunk, so to
> be useful its mirror on github would need to be updated automatically.
>
> Cheers
> --
> Enrico Tassi