diff options
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) |