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. Cheers, -- Stéphane
