/pkgs/applications/science/logic/hol_light/
../
0004-Fix-compilation-with-camlp5-7.11.patch
default.nix