nixpkgs/pkgs/development/compilers/mozart
2023-04-04 15:02:20 +02:00
..
binary.nix
default.nix mozart: Simplify build thanks to the new sources format 2023-04-04 15:02:20 +02:00
patch-limits.diff mozart2: fix build. 2022-06-08 09:32:08 -03:00