nixpkgs/pkgs/applications/science/logic/mcrl2
2022-05-29 10:56:04 +02:00
..
default.nix treewide: pkgs/applications: mark broken for darwin 2022-05-29 10:56:04 +02:00