datalog-0.1 packaged
zipperposition-0.1 packaged
checksum for zipperposition
datalog checksum
Merge pull request #337 from c-cube/master

Two more (alpha) packages: datalog and zipperposition