nixpkgs-suyu/pkgs/applications/science/logic/coq
2021-07-22 02:04:47 +07:00
..
default.nix coq: enable parallel building 2021-07-22 02:04:47 +07:00