On Fri, 24 Feb 2017 at 10:15 Alexandr Shadchin <alexandr.shadc...@gmail.com> wrote:
> On Thu, Feb 23, 2017 at 09:13:42PM -0500, Daniel Dickman wrote: > > I have an update for coq from 8.4 to 8.6, but I'd like to get the easy > > bits in first: > > - switch from http to https > > - drop gettext module > > - regen WANTLIB > > - move MODULES up in the Makefile, following Makefile.template > > > > ok? > > > > ok shadchin@ > > -- > Alexandr Shadchin > > Not being a coq user I don't have much useful to say on the details of this change or the update to 8.6 per se. But I keep thinking that the best strategy would be to leverage opam more, and eliminate as many individual ports as possible. Of course the last time I tried I think coq didn't install from opam. :-) .... Ken
