- debian/copyright says the source have to be edited, but doesn't say
how ;
- debian/README.source says gbp.conf does the trick and the version
name should have a +dfsg suffix ;
- debian/gbp.conf does have a list of things not to put into the
tarball ;
- debian/changelog show the +dfsg suffix got lost more than five years
ago.
With my Debian Science Team hat on, I would:
- have the list of excluded files in d/copyright ;
- have d/watch use that to do the repacking, adding the +dfsg
automatically.
Shall I proceed?
good to hear that you are joining the team and that you are interested
in coq and related packages. The coq package is (again) lacking behind upstream, so we could definitely use some help here. I had uopdated the
last versions of the package when it was more or less abandoned, but in reality I am not even a regular coq user, so if you are motivated to
take over the coq maintenance that would be from my point of view most appreciated.
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 295 |
Nodes: | 16 (2 / 14) |
Uptime: | 19:12:38 |
Calls: | 6,640 |
Files: | 12,188 |
Messages: | 5,325,225 |