[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, experimental/upstream, created. upstream/0.94-1-ge8667c8

Ralf Treinen treinen at pps.univ-paris-diderot.fr
Wed Apr 3 15:29:39 UTC 2013

Previous message: [Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, experimental/master, created. debian/0.94-2-7-gde77adf
Next message: [Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging annotated tag, upstream/0.95.1, created. upstream/0.95.1
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

The branch, experimental/upstream has been created
        at  e8667c877cb133dfaf6ec6591de1b23e17ed6b6d (commit)

- Shortlog ------------------------------------------------------------
-----------------------------------------------------------------------

-- 
alt-ergo packaging

Previous message: [Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, experimental/master, created. debian/0.94-2-7-gde77adf
Next message: [Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging annotated tag, upstream/0.95.1, created. upstream/0.95.1
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pkg-ocaml-maint-commits mailing list