[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