BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
nixpkgs-suyu/pkgs/applications/science/logic/avy
History
Weijia Wang fc653e9de0 avy: fix build on aarch64-linux
2022-11-25 16:48:03 +01:00
..
default.nix
glucose-fenv.patch
minisat-fenv.patch