Ssreflect Users Discussion List

[Enrico Tassi <>]

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