summaryrefslogtreecommitdiff
path: root/debian/changelog
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2009-02-20 13:26:24 +0100
committerGravatar Stephane Glondu <steph@glondu.net>2009-02-20 15:21:22 +0100
commit9603746faaccf85ee2e95570d2a0fb0a74a2aa1b (patch)
tree12d89b2340d308b118ba819e283b29f16101358d /debian/changelog
parent500458bebd552145aa1a5eaa1a45fb3010680350 (diff)
Update changelog
Diffstat (limited to 'debian/changelog')
-rw-r--r--debian/changelog11
1 files changed, 5 insertions, 6 deletions
diff --git a/debian/changelog b/debian/changelog
index 9bf26525..61566020 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,13 +1,12 @@
coq (8.2-1+dfsg-1) UNRELEASED; urgency=low
- [ Stephane Glondu ]
* New Upstream Version
+ * Use variables and ocamlinit rule from dh-ocaml in rules
+ * Added coqvars.mk helper for coq-related packages, and remove
+ /usr/lib/coq/abi (its contents is now it the COQ_ABI variable)
+ * Remove dependency on dpatch
- [ Samuel Mimram ]
- * Use variables from dh-ocaml in rules.
- * Added coqvars.mk helper for coq-related packages.
-
- -- Samuel Mimram <smimram@debian.org> Thu, 19 Feb 2009 13:54:38 +0100
+ -- Stephane Glondu <steph@glondu.net> Fri, 20 Feb 2009 15:21:15 +0100
coq (8.2~rc2+dfsg-3) experimental; urgency=low