The following commit has been merged in the master branch:
commit 1950fa2f34bb93fe514e9035284073221c1cbba6
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Fri Aug 8 13:20:02 2008 +0200
New upstream release
diff --git a/debian/changelog b/debian/changelog
index 677e23d..10148c5 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,4 +1,4 @@
-coq (8.2~beta3+dfsg-1) UNRELEASED; urgency=low
+coq (8.2~beta4+dfsg-1) UNRELEASED; urgency=low
[ Samuel Mimram ]
* New upstream release.
@@ -15,7 +15,7 @@ coq (8.2~beta3+dfsg-1) UNRELEASED; urgency=low
* [7dd7c53] Add debian/README.source
* [1c6c7c8] Bump Standards-Version to 3.8.0
- -- Stephane Glondu <[EMAIL PROTECTED]> Thu, 31 Jul 2008 17:49:13 +0200
+ -- Stephane Glondu <[EMAIL PROTECTED]> Fri, 08 Aug 2008 13:19:03 +0200
coq (8.1.pl3+dfsg-1) unstable; urgency=low
--
coq packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
