Re: Uploads needed
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
Reply to: