diff options
author | Enrico Tassi <gareuselesinge@debian.org> | 2015-07-14 12:40:07 +0200 |
---|---|---|
committer | Enrico Tassi <gareuselesinge@debian.org> | 2015-07-14 16:46:37 +0200 |
commit | 9d22a41a7047e6462c28a11203bf30b7657a4b53 (patch) | |
tree | e027da54c624111d808081e2d3ff1acf51d4975b /debian/changelog | |
parent | f219abfed720305c13875c3c63f9240cf63f78bc (diff) |
Packaging 8.5beta1
Diffstat (limited to 'debian/changelog')
-rw-r--r-- | debian/changelog | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 8deffbc0..00b9d660 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,13 @@ +coq (8.5~beta1+dfsg-1) experimental; urgency=medium + + * New upstream release + * Add myself to uploaders + * Disable patch for lockf on Hurd (not needed anymore) + * coq-theories is now arch any, since it contains .coq-native/ directories + (i.e. cmxs files for native compute) + + -- Enrico Tassi <gareuselesinge@debian.org> Sun, 25 Jan 2015 13:48:50 +0100 + coq (8.4pl4dfsg-1) unstable; urgency=medium * New upstream release (Closes: #755953) |