[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-44-g331f534
Stephane Glondu
steph at glondu.net
Fri Aug 8 21:35:49 UTC 2008
The following commit has been merged in the master branch:
commit 331f53499e751f658e32e2beb98336f454c5c0c2
Author: Stephane Glondu <steph at glondu.net>
Date: Fri Aug 8 23:20:12 2008 +0200
Update debian/changelog
diff --git a/debian/changelog b/debian/changelog
index 10148c5..48d98bb 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -14,8 +14,10 @@ coq (8.2~beta4+dfsg-1) UNRELEASED; urgency=low
* [c89cb94] Add Homepage field
* [7dd7c53] Add debian/README.source
* [1c6c7c8] Bump Standards-Version to 3.8.0
+ * [38db629] Remove browser.dpatch and use --browser configure option
+ * [9fd4621] Add use-env-in-coq-config.dpatch
- -- Stephane Glondu <steph at glondu.net> Fri, 08 Aug 2008 13:19:03 +0200
+ -- Stephane Glondu <steph at glondu.net> Fri, 08 Aug 2008 23:18:56 +0200
coq (8.1.pl3+dfsg-1) unstable; urgency=low
--
coq packaging
More information about the Pkg-ocaml-maint-commits
mailing list