Re: Uploads needed

[Stéphane Glondu <glondu@debian.org>]

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