nixpkgs/pkgs/applications/science/logic/yices
2023-03-22 16:08:09 +01:00
..
default.nix yices: fix typo in comment 2023-03-22 16:08:09 +01:00
linux-no-ldconfig.patch