From d3ba3713b521ffe82e95d50d2948dba088b5a78b Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Thu, 12 Jan 2012 16:09:19 +0100 Subject: New upstream beta release --- debian/changelog | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'debian/changelog') diff --git a/debian/changelog b/debian/changelog index 4ff1a521..c3da9fbf 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +coq (8.4~beta+dfsg-1) UNRELEASED; urgency=low + + * New upstream beta release + + -- Stéphane Glondu Thu, 12 Jan 2012 16:09:13 +0100 + coq (8.3.pl3+dfsg-1) unstable; urgency=low * New upstream release -- cgit v1.2.3 From 740160e590c78840860ee145a0260952507992dc Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Thu, 12 Jan 2012 18:53:24 +0100 Subject: Prepare upload to experimental --- debian/changelog | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'debian/changelog') diff --git a/debian/changelog b/debian/changelog index c3da9fbf..23e20ced 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,8 +1,8 @@ -coq (8.4~beta+dfsg-1) UNRELEASED; urgency=low +coq (8.4~beta+dfsg-1) experimental; urgency=low * New upstream beta release - -- Stéphane Glondu Thu, 12 Jan 2012 16:09:13 +0100 + -- Stéphane Glondu Thu, 12 Jan 2012 18:53:08 +0100 coq (8.3.pl3+dfsg-1) unstable; urgency=low -- cgit v1.2.3 From 144b0828b16f2ddde3c34aaccb59a70d8f977fae Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Sat, 14 Jan 2012 02:52:18 +0100 Subject: Update changelog and prepare upload to experimental --- debian/changelog | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'debian/changelog') diff --git a/debian/changelog b/debian/changelog index 23e20ced..a881bf77 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,11 @@ +coq (8.4~beta+dfsg-2) experimental; urgency=low + + * Fix a typo that caused decl_mode_plugin.cmxs not being installed, + making coqtop.opt useless + * Fix an ordering issue that was causing a test to fail in bytecode + + -- Stéphane Glondu Sat, 14 Jan 2012 11:11:48 +0100 + coq (8.4~beta+dfsg-1) experimental; urgency=low * New upstream beta release -- cgit v1.2.3 From d136352525babcff56d1a7c9ac018c6c6c7443a4 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Sun, 15 Jan 2012 12:37:44 +0100 Subject: Update changelog and prepare upload to experimental --- debian/changelog | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'debian/changelog') diff --git a/debian/changelog b/debian/changelog index a881bf77..23e77f2a 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,10 @@ +coq (8.4~beta+dfsg-3) experimental; urgency=low + + * Replace proofgeneral-coq by proofgeneral in dependencies + * Disable a test that uses too much memory, causing random FTBFS + + -- Stéphane Glondu Sun, 15 Jan 2012 12:37:23 +0100 + coq (8.4~beta+dfsg-2) experimental; urgency=low * Fix a typo that caused decl_mode_plugin.cmxs not being installed, -- cgit v1.2.3 From ff61c7f8b0cbe6f0173720e08a63142a3146cc53 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Fri, 6 Apr 2012 10:04:14 +0200 Subject: Recompile with camlp5 6.05 (no changes) --- debian/changelog | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'debian/changelog') diff --git a/debian/changelog b/debian/changelog index 23e77f2a..5f365100 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +coq (8.4~beta+dfsg-4) experimental; urgency=low + + * Recompile with camlp5 6.05 (no changes) + + -- Stéphane Glondu Fri, 06 Apr 2012 10:04:06 +0200 + coq (8.4~beta+dfsg-3) experimental; urgency=low * Replace proofgeneral-coq by proofgeneral in dependencies -- cgit v1.2.3 From 3a10a27a477f3df2f3f51a1011fef318ff4f5f58 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Mon, 4 Jun 2012 12:26:25 +0200 Subject: New upstream beta release --- debian/changelog | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'debian/changelog') diff --git a/debian/changelog b/debian/changelog index 5f365100..698bd42f 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +coq (8.4~gamma0+really8.4beta2+dfsg-1) UNRELEASED; urgency=low + + * New upstream beta release + + -- Stéphane Glondu Mon, 04 Jun 2012 12:26:18 +0200 + coq (8.4~beta+dfsg-4) experimental; urgency=low * Recompile with camlp5 6.05 (no changes) -- cgit v1.2.3 From 509d6d4b58f50b86ca482d49fb6b2fee7fc3dfe9 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Tue, 5 Jun 2012 07:38:34 +0200 Subject: Prepare upload to experimental --- debian/changelog | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'debian/changelog') diff --git a/debian/changelog b/debian/changelog index 698bd42f..a67dc785 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,8 +1,8 @@ -coq (8.4~gamma0+really8.4beta2+dfsg-1) UNRELEASED; urgency=low +coq (8.4~gamma0+really8.4beta2+dfsg-1) experimental; urgency=low * New upstream beta release - -- Stéphane Glondu Mon, 04 Jun 2012 12:26:18 +0200 + -- Stéphane Glondu Tue, 05 Jun 2012 07:38:25 +0200 coq (8.4~beta+dfsg-4) experimental; urgency=low -- cgit v1.2.3 From 65f39a78452feed5f4138ffd4846356b9bc57439 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Mon, 20 Aug 2012 18:27:39 +0200 Subject: New upstream release --- debian/changelog | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'debian/changelog') diff --git a/debian/changelog b/debian/changelog index a67dc785..6dc59d00 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +coq (8.4dfsg-1) UNRELEASED; urgency=low + + * New upstream release + + -- Stéphane Glondu Mon, 20 Aug 2012 18:27:33 +0200 + coq (8.4~gamma0+really8.4beta2+dfsg-1) experimental; urgency=low * New upstream beta release -- cgit v1.2.3 From e0356f0d6ec9310a3863f1983f7264847be3c274 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Mon, 20 Aug 2012 18:33:50 +0200 Subject: Prepare upload to experimental --- debian/changelog | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'debian/changelog') diff --git a/debian/changelog b/debian/changelog index 6dc59d00..32009920 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,8 +1,8 @@ -coq (8.4dfsg-1) UNRELEASED; urgency=low +coq (8.4dfsg-1) experimental; urgency=low * New upstream release - -- Stéphane Glondu Mon, 20 Aug 2012 18:27:33 +0200 + -- Stéphane Glondu Mon, 20 Aug 2012 18:33:45 +0200 coq (8.4~gamma0+really8.4beta2+dfsg-1) experimental; urgency=low -- cgit v1.2.3 From eabf57d06ca1eafa762d7f31262e5515401eff55 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Sat, 22 Sep 2012 12:43:41 +0200 Subject: Update changelog and prepare upload to experimental --- debian/changelog | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'debian/changelog') diff --git a/debian/changelog b/debian/changelog index 32009920..8ef512b8 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +coq (8.4dfsg-2) experimental; urgency=low + + * Upstream bugfix: Fix use of $(HASNATDYNLINK) in coq_makefile output + + -- Stéphane Glondu Sat, 22 Sep 2012 12:43:13 +0200 + coq (8.4dfsg-1) experimental; urgency=low * New upstream release -- cgit v1.2.3 From eddfbb4299e1707e7b0e2347a089fde045ed0e24 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Sat, 29 Dec 2012 10:58:57 +0100 Subject: New upstream release --- debian/changelog | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'debian/changelog') diff --git a/debian/changelog b/debian/changelog index 8ef512b8..f1a6b5c0 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +coq (8.4pl1dfsg-1) UNRELEASED; urgency=low + + * New upstream release + + -- Stéphane Glondu Sat, 29 Dec 2012 10:58:46 +0100 + coq (8.4dfsg-2) experimental; urgency=low * Upstream bugfix: Fix use of $(HASNATDYNLINK) in coq_makefile output -- cgit v1.2.3 From 1c212c7027effb41a8831acdc0c4277ab8c80d26 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Sat, 29 Dec 2012 11:02:57 +0100 Subject: Update changelog and prepare upload to experimental --- debian/changelog | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'debian/changelog') diff --git a/debian/changelog b/debian/changelog index f1a6b5c0..890aff07 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,8 +1,11 @@ -coq (8.4pl1dfsg-1) UNRELEASED; urgency=low +coq (8.4pl1dfsg-1) experimental; urgency=low * New upstream release + - 0002-Fix-use-of-HASNATDYNLINK-in-coq_makefile-output.patch + has been merged upstream + - add ocaml-findlib to Build-Depends - -- Stéphane Glondu Sat, 29 Dec 2012 10:58:46 +0100 + -- Stéphane Glondu Sat, 29 Dec 2012 15:56:53 +0100 coq (8.4dfsg-2) experimental; urgency=low -- cgit v1.2.3 From 5f7828e08f3583244ce7f1aa06af76caae69eb27 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Wed, 8 May 2013 17:47:31 +0200 Subject: New upstream release --- debian/changelog | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'debian/changelog') diff --git a/debian/changelog b/debian/changelog index 890aff07..7e91a3d3 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +coq (8.4pl2dfsg-1) UNRELEASED; urgency=low + + * New upstream release + + -- Stéphane Glondu Wed, 08 May 2013 17:47:25 +0200 + coq (8.4pl1dfsg-1) experimental; urgency=low * New upstream release -- cgit v1.2.3