Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Update debian/copyright | 2019-02-05 | |
| | |||
* | debian/copyright: Audit and update | 2019-01-03 | |
| | |||
* | Update standards version | 2019-01-03 | |
| | |||
* | Packaging 8.5beta1 | 2015-07-14 | |
| | |||
* | Switch debian/copyright to Format 1.0 | 2014-07-27 | |
| | |||
* | Update copyright file | 2010-07-24 | |
| | |||
* | Refresh copyright file | 2010-07-21 | |
| | |||
* | Prepare upload to unstabledebian/8.2-1+dfsg-2 | 2009-07-01 | |
| | |||
* | Converted copyright to utf8.debian/8.1+dfsg-1 | 2007-02-13 | |
| | |||
* | Better handling of arch-indep packages. | 2005-02-01 | |
| | |||
* | Getting ready for an upload to experimental. | 2004-07-21 | |
| | |||
* | Getting prepared for the licensing-problems-free 8.0 release of COQ. | 2004-07-15 | |