nixpkgs/pkgs/shells/murex
2024-05-23 18:28:43 +03:00
..
default.nix pkgs/shells: remove licenses.gpl2 2024-05-23 18:28:43 +03:00