Source: hets-hollight-tools
Section: misc
Priority: extra
Maintainer: Christian Maeder <Christian.Maeder@dfki.de>
Build-Depends: debhelper (>= 7.4.15)
Standards-Version: 3.9.1
Package: hets-hollight-tools
Architecture: i386 amd64
Depends: dmtcp, ocaml, camlp5, ocaml-compiler-libs, hol-light, ${shlibs:Depends}, ${misc:Depends}
Description: checkpointing hollight for hets