The annotated tag, debian/0.95.1-2 has been created
        at  d7adec689218ed19445538778c6696d2265f0e07 (tag)
   tagging  231d305875a44f38abc3336c68c5a577aeb5f62c (commit)
  replaces  debian/0.95.1-1
 tagged by  Ralf Treinen
        on  Fri May 10 21:25:09 2013 +0200

- Shortlog ------------------------------------------------------------
alt-ergo Debian release 0.95.1-2

Ralf Treinen (1):
      upload to sid

-----------------------------------------------------------------------

-- 
alt-ergo packaging

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to