/pkgs/applications/science/logic/avy/

• ../
• default.nix
• glucose-fenv.patch
• minisat-fenv.patch