Vincent Laporte 60a7c607d1 hol-light: fix build with camlp5-6.16		2016-05-01 16:10:09 +02:00
..
default.nix	Update HOL Light to version 2015-11-02	2015-11-03 15:24:56 +01:00
Makefile.patch	hol-light: fix build with camlp5-6.16	2016-05-01 16:10:09 +02:00