diff options
author | Samuel Mimram <smimram@debian.org> | 2007-02-13 13:48:12 +0000 |
---|---|---|
committer | Samuel Mimram <smimram@debian.org> | 2007-02-13 13:48:12 +0000 |
commit | 63a8706144442ef2c7a0e0b2b42dda6a5d9ec7ec (patch) | |
tree | a7ce1a51ddf071a725ac679d227e9f13580f256c /debian/changelog | |
parent | 7f076db2a924377e9de3f9a6d838b8c44ed2e16d (diff) |
New upstream release.
Diffstat (limited to 'debian/changelog')
-rw-r--r-- | debian/changelog | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 51db91a9..63d6933f 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,16 @@ +coq (8.1+dfsg-1) experimental; urgency=low + + * New upstream release. + * Removed system.dpatch and next-ia64.dpatch, integrated upstream. + * Removed the subdirectories common, faq, RecTutorial, refman, rt, tools, + tutorial of the directory doc since they contain documentation under the + Open Publication License which is not DFSG-free (thus the +dfsg in the + version number). The script debian/utils/purify_tarball automates this + process. This documentation in packaged separately in non-free, in + the coq-doc package. + + -- Samuel Mimram <smimram@debian.org> Tue, 13 Feb 2007 11:38:43 +0000 + coq (8.1~gamma-4) experimental; urgency=low * Correctly build glob.dump on non-native archs, closes: #400535. |