diff options
| author | Robin Gloster <mail@glob.in> | 2016-03-15 01:44:24 +0000 |
|---|---|---|
| committer | Robin Gloster <mail@glob.in> | 2016-03-15 01:44:24 +0000 |
| commit | 3f45f0948d6fe158bed063adb66850ded0ba4861 (patch) | |
| tree | ac717689d391d3f5333132fc34e4b2aed829414c /pkgs/development/tools/ocaml/camlp5/default.nix | |
| parent | a9b942c0617b1cd5f0732d05eadad0114a178f37 (diff) | |
| parent | d227d9a70e41d65e4e6f4ac75a9d243c5a19fa85 (diff) | |
| download | nixlib-3f45f0948d6fe158bed063adb66850ded0ba4861.tar nixlib-3f45f0948d6fe158bed063adb66850ded0ba4861.tar.gz nixlib-3f45f0948d6fe158bed063adb66850ded0ba4861.tar.bz2 nixlib-3f45f0948d6fe158bed063adb66850ded0ba4861.tar.lz nixlib-3f45f0948d6fe158bed063adb66850ded0ba4861.tar.xz nixlib-3f45f0948d6fe158bed063adb66850ded0ba4861.tar.zst nixlib-3f45f0948d6fe158bed063adb66850ded0ba4861.zip | |
Merge remote-tracking branch 'upstream/master' into hardened-stdenv
Diffstat (limited to 'pkgs/development/tools/ocaml/camlp5/default.nix')
| -rw-r--r-- | pkgs/development/tools/ocaml/camlp5/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/tools/ocaml/camlp5/default.nix b/pkgs/development/tools/ocaml/camlp5/default.nix index d9f364234308..83dd74d321ec 100644 --- a/pkgs/development/tools/ocaml/camlp5/default.nix +++ b/pkgs/development/tools/ocaml/camlp5/default.nix @@ -33,7 +33,7 @@ stdenv.mkDerivation { ''; homepage = http://pauillac.inria.fr/~ddr/camlp5/; license = licenses.bsd3; - platforms = ocaml.meta.platforms; + platforms = ocaml.meta.platforms or []; maintainers = with maintainers; [ z77z vbgl ]; |