[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