nixpkgs/pkgs/applications/science/logic/yices
2023-02-19 21:47:59 +01:00
..
default.nix treewide:replace http by https when https is a permanent redirection 2023-02-19 21:47:59 +01:00
linux-no-ldconfig.patch