From 9d22a41a7047e6462c28a11203bf30b7657a4b53 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 14 Jul 2015 12:40:07 +0200 Subject: Packaging 8.5beta1 --- debian/changelog | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'debian/changelog') 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 Sun, 25 Jan 2015 13:48:50 +0100 + coq (8.4pl4dfsg-1) unstable; urgency=medium * New upstream release (Closes: #755953) -- cgit v1.2.3