[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.rc2+dfsg-3-22-g0edbd67
Stephane Glondu
steph at glondu.net
Sat Feb 28 12:04:35 UTC 2009
The following commit has been merged in the master branch:
commit 0edbd67c9c945f56e0c252bbbd6354952a9a25a8
Author: Stephane Glondu <steph at glondu.net>
Date: Fri Feb 27 13:31:48 2009 +0100
Prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index 9d5f2e5..12e2c86 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,4 +1,4 @@
-coq (8.2-1+dfsg-1) UNRELEASED; urgency=low
+coq (8.2-1+dfsg-1) unstable; urgency=low
* New Upstream Version
* Use variables and ocamlinit rule from dh-ocaml in rules
@@ -11,7 +11,7 @@ coq (8.2-1+dfsg-1) UNRELEASED; urgency=low
custom mode): liblablgtk2-ocaml
* Rebuild with OCaml 3.11
- -- Stephane Glondu <steph at glondu.net> Fri, 27 Feb 2009 13:30:03 +0100
+ -- Stephane Glondu <steph at glondu.net> Fri, 27 Feb 2009 13:31:30 +0100
coq (8.2~rc2+dfsg-3) experimental; urgency=low
--
coq packaging
More information about the Pkg-ocaml-maint-commits
mailing list