Public Git Hosting - nixpkgs-libre.git/tree - pkgs/applications/science/logic/hol_light/

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
history | HEAD | snapshot (tar.gz zip)

[nixpkgs-libre.git] / pkgs / applications / science / logic / hol_light /

tree	7b0572c0d78ddf7887379703b47058f4b15d4e24

drwxr-xr-x		..
-rw-r--r--	1882	default.nix	blob \| blame \| history \| raw
-rw-r--r--	2944	dmtcp_checkpoint.nix	blob \| blame \| history \| raw
-rw-r--r--	916	dmtcp_selfdestruct.ml	blob \| blame \| history \| raw
-rw-r--r--	1653	parser_setup.patch	blob \| blame \| history \| raw
-rw-r--r--	731	sources.nix	blob \| blame \| history \| raw

Nixpkgs-Libre, a libre version of the Nix Package Collection (Nixpkgs)