diff options
author | Marc Weber <marco-oweber@gmx.de> | 2009-06-26 16:53:02 +0000 |
---|---|---|
committer | Marc Weber <marco-oweber@gmx.de> | 2009-06-26 16:53:02 +0000 |
commit | f316832e3ace9cb417148d0fa6041d84c5ec765a (patch) | |
tree | 96c03f8a7a5903bff6ef18fc1e49ac34577f13e9 /pkgs/development/compilers | |
parent | 3fa07803c62ce2b7dc984f10d0f7bd6e6b6b0948 (diff) | |
download | nixpkgs-f316832e3ace9cb417148d0fa6041d84c5ec765a.tar nixpkgs-f316832e3ace9cb417148d0fa6041d84c5ec765a.tar.gz nixpkgs-f316832e3ace9cb417148d0fa6041d84c5ec765a.tar.bz2 nixpkgs-f316832e3ace9cb417148d0fa6041d84c5ec765a.tar.lz nixpkgs-f316832e3ace9cb417148d0fa6041d84c5ec765a.tar.xz nixpkgs-f316832e3ace9cb417148d0fa6041d84c5ec765a.tar.zst nixpkgs-f316832e3ace9cb417148d0fa6041d84c5ec765a.zip |
update default ocmal to 3.11.1. patch provided by olegfink
svn path=/nixpkgs/trunk/; revision=16061
Diffstat (limited to 'pkgs/development/compilers')
-rw-r--r-- | pkgs/development/compilers/ocaml/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/development/compilers/ocaml/default.nix b/pkgs/development/compilers/ocaml/default.nix index f3ef70b2a55..57cdfceaa15 100644 --- a/pkgs/development/compilers/ocaml/default.nix +++ b/pkgs/development/compilers/ocaml/default.nix @@ -4,5 +4,6 @@ builtins.listToAttrs [ { name = "3.08.0"; value = import ./3.08.0.nix args; } { name = "3.09.1"; value = import ./3.09.1.nix args; } { name = "3.10.0"; value = import ./3.10.0.nix args; } - { name = "default"; value = import ./3.09.1.nix args; } + { name = "3.11.1"; value = import ./3.11.1.nix args; } + { name = "default"; value = import ./3.11.1.nix args; } ] |