diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-09-12 09:40:09 +0200 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-09-13 12:26:07 +0200 |
| commit | 2f0994010ab75d209240b882cec80a7376d686e3 (patch) | |
| tree | 2403e82165cc9d7cffb09acf6d885fd340495218 /pkgs/development/ocaml-modules/fix | |
| parent | d45fc250358ae35e6b2e0dbc6528b28b2c5f90c1 (diff) | |
| download | nixlib-2f0994010ab75d209240b882cec80a7376d686e3.tar nixlib-2f0994010ab75d209240b882cec80a7376d686e3.tar.gz nixlib-2f0994010ab75d209240b882cec80a7376d686e3.tar.bz2 nixlib-2f0994010ab75d209240b882cec80a7376d686e3.tar.lz nixlib-2f0994010ab75d209240b882cec80a7376d686e3.tar.xz nixlib-2f0994010ab75d209240b882cec80a7376d686e3.tar.zst nixlib-2f0994010ab75d209240b882cec80a7376d686e3.zip | |
Adds ocaml-fix
Fix is a simple OCaml module for computing the least solution of a system of monotone equations. Homepage: http://gallium.inria.fr/~fpottier/fix/
Diffstat (limited to 'pkgs/development/ocaml-modules/fix')
| -rw-r--r-- | pkgs/development/ocaml-modules/fix/default.nix | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/fix/default.nix b/pkgs/development/ocaml-modules/fix/default.nix new file mode 100644 index 000000000000..5ead575d0886 --- /dev/null +++ b/pkgs/development/ocaml-modules/fix/default.nix @@ -0,0 +1,23 @@ +{stdenv, fetchurl, ocaml, findlib}: + +stdenv.mkDerivation { + + name = "ocaml-fix-20130611"; + + src = fetchurl { + url = http://gallium.inria.fr/~fpottier/fix/fix-20130611.tar.gz; + sha256 = "1phlqcs1nb93x9cf0w0hnq2ck4dmn71zm4mxf60w96vb9yb9qzp0"; + }; + + buildInputs = [ ocaml findlib ]; + + createFindlibDestdir = true; + + meta = with stdenv.lib; { + homepage = http://gallium.inria.fr/~fpottier/fix/; + description = "A simple OCaml module for computing the least solution of a system of monotone equations"; + license = licenses.cecill-c; + platforms = ocaml.meta.platforms; + }; +} + |