[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2-1+dfsg-2-4-gd43a92c
Stephane Glondu
steph at glondu.net
Sat Jul 4 12:14:09 UTC 2009
The following commit has been merged in the master branch:
commit 3a420f4ad929e8372d32c735fd0fd89dfc0346a1
Merge: 1769cbaddea77112dd6f336316d8eb9a0945a1e6 e4282ea99c664d8d58067bee199cbbcf881b60d5
Author: Stephane Glondu <steph at glondu.net>
Date: Sat Jul 4 13:28:38 2009 +0200
Merge commit 'upstream/8.2.pl1+dfsg'
--
coq packaging
More information about the Pkg-ocaml-maint-commits
mailing list