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

summary refs log tree commit diff

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

Mode	Name	Size
-rw-r--r--	default.nix	1470	log plain blame
-rw-r--r--	monoid.patch	1296	log plain blame
-rw-r--r--	patch.patch	6853	log plain blame