Commit Graph

1219 Commits

Author SHA1 Message Date
Vincent Laporte
93ce3df6b5 ocamlPackages.stdlib-shims: init at 0.1.0 2019-03-03 11:45:21 +01:00
Vincent Laporte
79bc38c1bc ocamlPackages.mlgmpidl: 1.2.7 -> 1.2.8
This version builds even if profiling is not available (e.g., on Aarch).
2019-02-28 22:24:07 +01:00
Vincent Laporte
9a666f92a2
ocamlPackages.wtf8: disable for OCaml ≤ 4.01 2019-02-22 17:04:57 +00:00
Vincent Laporte
a03930d9d5
ocamlPackages.opti: disable for OCaml ≤ 4.01 2019-02-22 17:04:56 +00:00
Vincent Laporte
887a5373d6
ocamlPackages.dtoa: disable for OCaml ≤ 4.01 2019-02-22 17:04:56 +00:00
Vincent Laporte
91e194579d
ocamlPackages.bisect_ppx-ocamlbuild: disable for OCaml ≤ 4.01 2019-02-22 17:04:56 +00:00
Vincent Laporte
598554d476
ocamlPackages.atd: disable for OCaml ≤ 4.01 2019-02-22 17:04:56 +00:00
Vincent Laporte
b275d09224 ocamlPackages.lablgtk3: 3.0.beta3 -> 3.0.beta4 2019-02-22 13:00:04 +01:00
Vincent Laporte
b60b304cef ocamlPackages.yojson: 1.4.1 -> 1.6.0 2019-02-20 10:41:53 +01:00
Vincent Laporte
e4035c3e0e
Merge pull request #55633 from vbgl/alt-ergo-2.3.0
alt-ergo: 2.2.0 -> 2.3.0
2019-02-19 09:53:57 +01:00
Vincent Laporte
b1ac25e7ed ocamlPackages.hex: 1.2.0 -> 1.3.0 2019-02-17 10:59:33 +01:00
Vincent Laporte
039f359a7d ocamlPackages.ocaml-migrate-parsetree: 1.1.0 -> 1.2.0 2019-02-16 09:05:06 +01:00
R. RyanTM
17711be1ab
ocamlPackages.psmt2-frontend: 0.1 -> 0.2
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-psmt2-frontend/versions
2019-02-12 09:17:19 +00:00
R. RyanTM
8c2d2cba7c ocamlPackages.topkg: 0.9.1 -> 1.0.0
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-topkg/versions
2019-02-11 12:35:22 +01:00
Vincent Laporte
570dd83ae4
ocamlPackages.ocsigen-start: 1.4.0 -> 1.5.0 2019-02-03 14:20:17 +00:00
Vincent Laporte
65ba19a9c5
ocamlPackages.ocsigen-start: 1.2.0 -> 1.4.0 2019-02-03 14:20:16 +00:00
Vincent Laporte
c3ddb39ade
ocamlPackages.ocsigen-start: 1.1.0 -> 1.2.0 2019-02-03 14:20:15 +00:00
Vincent Laporte
5a2f6b08bf
ocamlPackages.ocsigen-toolkit: 1.1.0 -> 2.0.0 2019-02-03 14:20:14 +00:00
Vincent Laporte
686f8a4710
ocamlPackages.eliom: 6.3.0 -> 6.4.0 2019-02-03 14:20:14 +00:00
Vincent Laporte
05350c0047
ocamlPackages.ocsigen_server: 2.9 -> 2.11 2019-02-03 14:20:13 +00:00
Vincent Laporte
d8a8de45d0
ocamlPackages.lwt_camlp4: init at 20180325 2019-02-03 14:20:11 +00:00
Vladyslav M
805e2bbced
Merge pull request #53703 from vbgl/ocaml-ocp-indent-1.7.0
ocamlPackages.ocp-indent: 1.6.1 -> 1.7.0
2019-01-16 00:54:27 +02:00
Austin Seipp
564653f91d ocamlPackages.zarith: use buildOcaml instead of mkDerivation
This has two main advantages:

  - By setting hasSharedObjects = true, buildOcaml will automatically
include a setup-hook.sh that sets CAML_LD_LIBRARY_PATH in dependent
expressions. This is needed to pick up dllzarith.so properly which is
shipped as part of the library.

  - We can kill the ugly assert in the expression and instead change it
to use minimumSupportedOcamlVersion.

(Note: this was reverted in b44d5136e8, but the change is
exactly equivalent -- I wasn't sure what impact zarith might actually
have without checking OfBorg, which I wanted to do first.)

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-01-15 01:28:11 -06:00
Austin Seipp
b44d5136e8 Revert "ocamlPackages.zarith: use buildOcaml instead of mkDerivation"
This reverts commit 9d5a7af4e5.
2019-01-15 00:35:11 -06:00
Austin Seipp
9d5a7af4e5 ocamlPackages.zarith: use buildOcaml instead of mkDerivation
This has two main advantages:

  - By setting hasSharedObjects = true, buildOcaml will automatically
include a setup-hook.sh that sets CAML_LD_LIBRARY_PATH in dependent
expressions. This is needed to pick up dllzarith.so properly which is
shipped as party of the library.

  - We can kill the ugly assert in the expression and instead change it
to use minimumSupportedOcamlVersion.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-01-15 00:33:59 -06:00
R. RyanTM
ac38750e32 ocamlPackages.rope: 0.6 -> 0.6.1 (#52829)
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml4.06.1-rope/versions
2019-01-13 22:39:55 +01:00
Vincent Laporte
ad23ea312d ocamlPackages.lablgtk3: 3.0.β2 → 3.0.β3 2019-01-12 18:42:45 +00:00
Vincent Laporte
db217a8aca ocamlPackages.resource-pooling: init at 0.5.2
A library for pooling resources like connections, threads, or similar.

Homepage: https://github.com/ocsigen/resource-pooling
2019-01-12 08:23:48 +00:00
Vincent Laporte
522148ba4e
ocamlPackages.cmdliner: restore version 1.0.2 for OCaml ≤ 4.02 2019-01-09 16:37:39 +00:00
Vincent Laporte
8b79557600 ocamlPackages.ppx_deriving_yojson: 3.1 -> 3.3 2018-12-25 10:43:41 +01:00
Vincent Laporte
d7f08cd90f ocamlPackages.ppxfind: init at 1.2 2018-12-25 10:43:41 +01:00
Vincent Laporte
daaba731a7 ocamlPackages.csv-lwt: init at 2.2 2018-12-24 14:57:07 +01:00
Renaud
b7355e6f7a
Merge pull request #52179 from r-ryantm/auto-update/ocaml-cmdliner
ocamlPackages.cmdliner: 1.0.2 -> 1.0.3
2018-12-19 16:59:02 +01:00
Renaud
c98754dd12
Merge pull request #52172 from r-ryantm/auto-update/ocaml-curses
ocamlPackages.curses: 1.0.3 -> 1.0.4
2018-12-19 16:42:25 +01:00
Vincent Laporte
6620de7594 ocamlPackages.atdgen: init at 2.0.0
Atdgen is a command-line program that takes as input type definitions in the
ATD syntax and produces OCaml code suitable for data serialization and
deserialization.

Homepage: https://github.com/mjambon/atd
2018-12-17 21:38:49 +00:00
Vincent Laporte
b5f580fa2e ocamlPackages.labltk: fix evaluation with OCaml < 4.04 2018-12-17 17:46:46 +00:00
Vincent Laporte
5e786dedc1 ocaml-ng.ocamlPackages_4_01_0.ppx_cstruct: fix evaluation 2018-12-17 17:46:46 +00:00
Vincent Laporte
f41ac80d74 ocaml-ng.ocamlPackages_4_01_0.cstruct-unix: fix evaluation 2018-12-17 17:46:46 +00:00
Vincent Laporte
3cca862a5f ocaml-ng.ocamlPackages_4_01_0.cstruct-lwt: fix evaluation 2018-12-17 17:46:46 +00:00
Vincent Laporte
b6ca91fba5 ocamlPackages.elina: init at 1.1
ELINA contains optimized implementations of popular numerical abstract domains
such as Polyhedra, Octagon and Zones for static analysis.

homepage: http://elina.ethz.ch/
2018-12-16 08:54:51 +00:00
R. RyanTM
20f691ddee ocamlPackages.cmdliner: 1.0.2 -> 1.0.3
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml-cmdliner/versions
2018-12-14 23:27:29 -08:00
R. RyanTM
2d5545daaf ocamlPackages.curses: 1.0.3 -> 1.0.4
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ocaml-curses/versions
2018-12-14 22:26:13 -08:00
Vincent Laporte
42fd1728fa
ocamlPackages.lablgtk3: 3.0.beta1 -> 3.0.beta2 2018-12-14 09:11:25 +00:00
Vincent Laporte
113a7562fe ocamlPackages.lablgtk3: init at 3.0.beta1 2018-12-13 09:09:09 +00:00
Vincent Laporte
ee843ee86e ocamlPackages.ppx_import: 1.5 -> 1.5-3 2018-12-12 09:34:38 +00:00
Vincent Laporte
47c4876de6 ocamlPackages.ppx_deriving_yojson: disable tests 2018-12-12 09:34:38 +00:00
Vincent Laporte
1a04bd4414 ocamlPackages.checkseum: init at 0.0.3
Chekseum is an OCaml library which implements ADLER-32 and CRC32C Cyclic
Redundancy Check. It provides 2 implementation, the first in C and the
second in OCaml.

Homepage: https://github.com/mirage/checkseum
2018-12-11 08:12:27 +00:00
Vincent Laporte
e9b43adab7 ocamlPackages.optint: init at 0.0.2
This library provide one module Optint which internally uses an int if
you are in a x64 architecture or an int32 (boxed value) if you are in a
x86 architecture.

Homepage: https://github.com/mirage/optint
2018-12-11 08:12:27 +00:00
Vincent Laporte
0c9abf6436
ocamlPackages.camlimages: 5.0.0 -> 5.0.1 2018-12-07 04:22:10 +00:00
Vincent Laporte
b684e3d24b ocamlPackages.javalib: 2.3.5 -> 3.0
ocamlPackages.sawja: 1.5.3 -> 1.5.6
2018-12-07 03:28:54 +00:00