On Sun, Jul 31, 2016 at 11:18:40AM +0200, Stéphane Glondu wrote: > On 24/07/2016 04:48, Nicolas Braud-Santoni wrote: > > ## aac-tactics > > > > - Update to upstream version 8.5.1, compatible with Coq 8.5 > > This resolves FTBFS #813459 > > - Pointed the upstream URLs to Github > > - Many cleanups > > A few comments: > > * f2abc870b150ff1296576c7028941e57ee1c27ab: I do not agree with this > change. I prefer to make explicit (using the -X option) the files > being ignored. And, by the way, why not install .v files? In general, > a library A's .v files can be useful when using A. OK, I reverted that and installed the .v files. I did not install them simply because the previous version of aac-tactics didn't either (as far as I saw).
Attachment:
signature.asc
Description: PGP signature