OCamlPro/opam-repository — pull request #337 by c-cube (2013-01-29 15:19:18+00:00)
Title: Two more (alpha) packages: datalog and zipperposition

Logic-related packages now added :)