The following commit has been merged in the master branch:
commit 014a12f925dcbb35a88fe89f09f4a9a0f922b21e
Merge: 4e8169a9d5f26d4ee94e54137c85d803bedb0519
9c0e4c5c483da27b622dabab3f62450d5488b94d
Author: Lifeng Sun <lifong...@gmail.com>
Date: Sat Jul 6 11:05:29 2013 +0800
Merge tag 'upstream/1.4'
Upstream version 1.4
--
lambda-term 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
