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

Homepage: http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/

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