[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, squeeze-backports/master, created. debian/8.3.pl2+dfsg-2_bpo60+1
Stephane Glondu
steph at glondu.net
Sat Nov 12 15:32:39 UTC 2011
The branch, squeeze-backports/master has been created
at ba021624830c7ad5df0688d144e4305551ae1a5f (commit)
- Shortlog ------------------------------------------------------------
commit ba021624830c7ad5df0688d144e4305551ae1a5f
Author: Stephane Glondu <steph at glondu.net>
Date: Sat Nov 12 15:57:39 2011 +0100
Prepare upload to squeeze-backports
commit 41989bfbac1f88916a071e53250dc70afa7e7264
Author: Stephane Glondu <steph at glondu.net>
Date: Sat Nov 12 16:00:52 2011 +0100
Branches for squeeze-backports
-----------------------------------------------------------------------
--
coq packaging
More information about the Pkg-ocaml-maint-commits
mailing list