The branch, upstream has been created
at 79ecdcf9e21b2585f8aeee5233c3edd4863946a4 (commit)
- Shortlog ------------------------------------------------------------
commit 79ecdcf9e21b2585f8aeee5233c3edd4863946a4
Author: Hendrik Tews <hend...@askra.de>
Date: Wed Mar 14 11:52:12 2012 +0100
Imported Upstream version 20120312
-----------------------------------------------------------------------
--
hol-light 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
