[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, squeeze-backports/upstream, created. upstream/8.3.pl1+dfsg-2-gaa33547
Stephane Glondu
steph at glondu.net
Sat Nov 12 15:32:44 UTC 2011
The branch, squeeze-backports/upstream has been created
at aa33547c764a229e22d323ca213d46ea221b903e (commit)
- Shortlog ------------------------------------------------------------
-----------------------------------------------------------------------
--
coq packaging
More information about the Pkg-ocaml-maint-commits
mailing list