nixpkgs-suyu/pkgs/applications/science/logic/yices
2022-01-02 10:15:42 +01:00
..
default.nix yices: 2.6.2 -> 2.6.4 2022-01-02 10:15:42 +01:00
linux-no-ldconfig.patch