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

summary refs log tree commit diff

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

Mode	Name	Size
-rw-r--r--	default.nix	1629	log plain blame
-rw-r--r--	glucose-fenv.patch	2048	log plain blame
-rw-r--r--	minisat-fenv.patch	2081	log plain blame