search

jrh13 / hol-light

The HOL Light theorem prover
Other
435 stars 79 forks source link

README link to ckpt is broken #32

Closed girving closed 5 years ago

girving commented 7 years ago

The README links to the ckpt program at http://www.cs.wisc.edu/~zandy/ckpt. Unfortunately, that's a broken link. Does it have a new webpage elsewhere?

hendriktews commented 7 years ago

Does it have a new webpage elsewhere?

I don't know, but for Debian I tried dmtcp and that seemed to work, see http://dmtcp.sourceforge.net/ and https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/hol-light.git/tree/debian/README.Debian

Hendrik