centra/brainix
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
brainix/sources/nixpkgs/pkgs/applications/science/logic/avy
History
Exact
Soma Nakamura 3d1045ede9
Initial import
2026-02-13 17:06:24 +09:00
..
0001-no-static-boost-libs.patch Initial import 2026-02-13 17:06:24 +09:00
default.nix Initial import 2026-02-13 17:06:24 +09:00
glucose-fenv.patch Initial import 2026-02-13 17:06:24 +09:00
minisat-fenv.patch Initial import 2026-02-13 17:06:24 +09:00