stp « logic « science « applications « pkgs - nixpkgs - Downstream nixpkgs tree for Spectrum

summary refs log tree commit diff

path: root/pkgs/applications/science/logic/stp

Mode	Name	Size
-rw-r--r--	default.nix	810	log plain blame
-rw-r--r--	fixbuild.diff	1702	log plain blame
-rw-r--r--	fixrefs.diff	7275	log plain blame