Commit graph

700 commits

Author SHA1 Message Date
Mario Rodas fa535b5314
ocamlPackages.ppx_yojson_conv_lib: init at 0.14.0 2020-07-08 16:42:18 +02:00
sternenseemann 2c616aa638
ocamlPackages.angstrom*: 0.13.0 -> 0.14.1
ocamlPackages.email_message: fix 0.12.0 version for angstrom 0.14
ocamlPackages.encore: 0.3 → 0.5
ocamlPackages.git{,-http,-unix}: 2.1.2 → 2.1.3
2020-07-01 13:51:04 +02:00
sternenseemann fce108ef60
ocamlPackages.bigarray-overlap: init at 0.2.0 2020-07-01 10:15:13 +02:00
sternenseemann c4ca9ba10d dune-release: init at 1.3.3 2020-06-26 12:14:03 +02:00
sternenseemann c4636f6101 ocamlPackages.opam-state: init at 2.0.7 2020-06-26 12:14:03 +02:00
sternenseemann b604e4aedd ocamlPackages.opam-repository: init at 2.0.7 2020-06-26 12:14:03 +02:00
sternenseemann ee1ea8609c ocamlPackages.opam-format: init at 2.0.7 2020-06-26 12:14:03 +02:00
sternenseemann 034395d0e5 ocamlPackages.opam-core: init at 2.0.7 2020-06-26 12:14:03 +02:00
sternenseemann 3a0933a030
ocamlPackages.{ipaddr,macaddr}: 3.1.0 → 5.0.0 and update all affected packages (tuntap, conduit, cohttp, …) (#91350)
* ocamlPackages.{ipaddr,macaddr}: 3.1.0 → 5.0.0
* ipaddr-cstruct: new package (since 4.0.0)
* ipaddr-sexp: new package (since 4.0.0)
* macaddr-cstruct: new package (since 4.0.0)
* macaddr-sexp: new package (since 4.0.0)
* macaddr: enable tests (don't depend on ipaddr anymore)
* ocamlPackages.tuntap: 1.3.0 → 2.0.0
* ocamlPackages.conduit{,-lwt,-lwt-unix}: 1.4.0 → 2.2.2
* ocamlPackages.cohttp{,-lwt,-lwt-unix}: 2.1.3 → 2.5.1
* ocamlPackages: use dune 2 if pkg (indirectly) depends on cohttp-lwt-unix

dune refuses to build a package if one of its dependencies uses dune 2.
2020-06-25 23:22:21 +02:00
Vincent Laporte bbed026045 ocamlPackages.base64_2: remove at 2.0.0 2020-06-25 08:15:18 +02:00
Vincent Laporte 490c75f1ca ocamlPackages.lwt: rename file to “default.nix” and attribute to “lwt” 2020-06-24 09:19:04 +02:00
Vincent Laporte 97c886e2c7 ocamlPackages.lwt2: remove at 2.7.1 2020-06-24 09:19:04 +02:00
sternenseemann d78a3bac05 ocamlPackages.mirage-crypto*: 0.7.0 → 0.8.0
* ocamlPackages.mirage-crypto
* ocamlPackages.mirage-crypto-pk
* ocamlPackages.mirage-crypto-rng
* ocamlPackages.mirage-crypto-rng-mirage: new package which was
  previously part of mirage-crypto-rng
2020-06-19 22:56:58 +02:00
Vincent Laporte a1b8192dbf ocamlPackages.piqi: 0.6.14 → 0.6.15 2020-06-19 10:06:06 +02:00
Vincent Laporte a0d4f232d7 ocamlPackages.js_of_ocaml: rename file to “default.nix” 2020-06-15 08:53:50 +02:00
Vincent Laporte d6a4ee1193 ocamlPackages.js_of_ocaml_2: remove at 2.7 & 2.8.4 2020-06-15 08:53:50 +02:00
sternenseemann 1c7fd15a42
ocamlPackages.crowbar: init at 0.2 2020-06-09 21:26:38 +02:00
Julien Coolen 115b7d92b8 graphql_ppx: init at 0.7.1 2020-06-09 08:56:18 +02:00
Vincent Laporte cb6ffc170b
ocamlPackages.sexplib_112_24_01: remove at 112.24.01
This is a legacy version for OCaml ≤ 4.02
2020-06-07 10:15:17 +02:00
Vincent Laporte f4a7f9f499
ocamlPackages.sexplib_111_25_00: remove at 111.25.00
This is a legacy version for OCaml ≤ 4.02
2020-06-07 10:15:17 +02:00
Vincent Laporte 0cadf9c028
ocamlPackages.sexplib_108_08_00: remove at 108.08.00
This is a legacy version for OCaml ≤ 4.02
2020-06-07 10:15:17 +02:00
Vincent Laporte 1c3e3e081c ocamlPackages.pa_test: remove at 112.24.00
This is a legacy package for OCaml ≤ 4.02
2020-06-07 07:48:47 +02:00
Vincent Laporte c9057b3751 ocamlPackages.custom_printf: remove at 112.24.00
This is a legacy package for OCaml 4.02

custom_printf is deprecated, use ppx_custom_printf instead
2020-06-05 10:46:29 +02:00
Vincent Laporte 1992d68551 ocamlPackages.core_kernel: remove at 112.24.00
This is a legacy version for OCaml 4.02
2020-05-29 08:23:42 +02:00
Vincent Laporte eab4103efa ocamlPackages.core: remove at 112.24.01
This is a legacy version for OCaml 4.02
2020-05-28 09:09:53 +02:00
Vincent Laporte 3f8d6d5964 ocaml: default to 4.10 2020-05-27 10:12:22 +02:00
Vincent Laporte 670237ec93 ocamlPackages.async_kernel: remove at 112.24.00
This is a legacy version for OCaml 4.02
2020-05-27 09:01:25 +02:00
sternenseemann 9d33cb414a ocamlPackages.curly: init at 2019-11-14 2020-05-26 08:09:07 +02:00
Benjamin Hipple 5e22232f8f
Merge pull request #87447 from bcdarwin/ocaml-torch
ocamlPackages.torch: init at 0.8
2020-05-25 20:25:54 -04:00
sternenseemann 0679fb9696
ocamlPackages.afl-persistent: init at 1.3 2020-05-24 10:13:00 +02:00
Vincent Laporte e9759c1c3a ocamlPackages.async_unix: remove at 112.24.00
This is a legacy version for OCaml 4.02
2020-05-22 10:07:12 +02:00
sternenseemann 0684381e27 ocamlPackages.mirage-unix: init at 4.0.0 2020-05-21 21:11:21 +02:00
sternenseemann 3ca20e824f ocamlPackages.mirage-runtime: init at 3.7.7 2020-05-21 21:11:21 +02:00
sternenseemann bba5a57c22 ocamlPackages.functoria-runtime: init at 3.1.0 2020-05-21 21:11:21 +02:00
sternenseemann dde2efb95d ocamlPackages.io-page-unix: init at 2.3.0 2020-05-21 21:11:21 +02:00
Vincent Laporte 14a70f542a ocamlPackages.textutils: remove at 112.17.00
This is a legacy version for OCaml 4.02
2020-05-19 20:44:41 +02:00
Vincent Laporte 4a873aa29e ocamlPackages.ppxlib: minor refactoring 2020-05-18 18:19:06 +02:00
Vincent Laporte f31adf28b7 ocamlPackages.dune_2: use pkgs.dune_2 for OCaml < 4.07 2020-05-18 18:17:20 +02:00
Vincent Laporte 20b0143c11 ocamlPackages.async_extra: remove at 112.24.00
This is a legacy version for OCaml 4.02
2020-05-18 08:49:22 +02:00
Vincent Laporte df70dcb6fb ocaml-ng.ocamlPackages_4_11.ocaml: init at 4.11.0+α1 2020-05-16 10:27:00 +02:00
Vincent Laporte a91007dbc4 ocamlPackages.ipaddr: remove at 2.6.1
This is a legacy version for OCaml 4.02
2020-05-15 21:40:31 +02:00
Vincent Laporte d00c84b5bd ocamlPackages.lablgtkmathview: remove at 0.7.2 2020-05-14 21:26:35 +02:00
sternenseemann 9d55751754 ocamlPackages.jingoo: 1.2.18 → 1.3.4 2020-05-14 10:21:40 +02:00
sternenseemann b67a5e424f ocamlPackages.hkdf: init at 1.0.4 2020-05-12 22:34:30 +02:00
sternenseemann 435fd99ab6 ocamlPackages.fiat-p256: init at 0.2.1 2020-05-12 22:34:30 +02:00
sternenseemann bd30d8fca7 ocamlPackages.hacl_x25519: init at 0.1.1 2020-05-12 22:34:30 +02:00
Vincent Laporte 54f5bff2b5 ocamlPackages.re2: remove at 112.06.00
This is a legacy version for OCaml ≤ 4.02
2020-05-12 19:10:32 +02:00
Vincent Laporte 5458f4326e ocamlPackages.async: remove at 112.24.00
This is a legacy version for OCaml 4.02
2020-05-11 17:34:02 +02:00
Ben Darwin 1e0912d772 ocamlPackages.torch: init at 0.8 2020-05-09 19:29:47 -04:00
Vincent Laporte 0db2daa900 ocamlPackages.async_find: remove at 111.28.00
This is a legacy version for OCaml 4.02
2020-05-04 22:11:50 +02:00
Vincent Laporte 258e3287a5
ocamlPackages.core_extended: remove at 112.24.00
This is a legacy version for OCaml 4.02
2020-05-01 10:32:31 +02:00
Vincent Laporte 927fcf3793 ocamlPackages.uri: remove at 1.9.{1,2}
These are legacy versions for OCaml ≤ 4.02
2020-05-01 10:07:36 +02:00
Jörg Thalheim 32e4d072a0
Merge pull request #85987 from vbgl/ocaml-async_shell-remove-legacy 2020-04-27 17:00:54 +01:00
Alexandre Esteves ce6dbccdfb ocamlPackages.bigstring: init at 0.2 2020-04-27 12:28:20 +02:00
sternenseemann b5f9eb06b5
ocamlPackages.mirage-time(-unix): init at 2.0.1 2020-04-25 14:50:57 +02:00
Vincent Laporte 05db4f4fb9
ocamlPackages.async_shell: remove at 109.28.03
This is a legacy version for OCaml 4.02
2020-04-25 09:51:56 +02:00
Vincent Laporte 22a3bf9fb9
Merge pull request #85142 from sternenseemann/mirage-crypto
ocamlPackages: jackline: switch to mirage-crypto and update dependencies
2020-04-21 08:56:52 +02:00
Vincent Laporte 3e7a2b9147 ocamlPackages.janeStreet: 0.12 → 0.13
ocamlPackages.bistro: fix for core-0.13
ocamlPackages.phylogenetics: 2020-01-05 → 2020-01-25
2020-04-20 08:38:31 +02:00
Vincent Laporte 75971d096a ocamlPackages.async_ssl: remove at 113.33.07
This is the legacy version for OCaml ≤ 4.02
2020-04-20 08:38:31 +02:00
Benjamin Hipple e4db75f46d
Merge pull request #84535 from bcdarwin/update-beluga
beluga: 20180403 -> unstable-2020-03-11
2020-04-19 22:53:50 -04:00
Ben Darwin 261d7c2f66 ocamlPackages.dune-build-info: init at 2.4.0 2020-04-19 21:50:37 -04:00
sternenseemann 99ac3ce2bf ocamlPackages.tls: 0.10.4 -> 0.11.1
This update contains a switch to the dune build system as well as a
switch from nocrypto to mirage-crypto.
2020-04-16 19:57:35 +02:00
sternenseemann 29a98f2be1
ocamlPackages.ounit2: init at 2.2.2 2020-04-15 15:01:36 +02:00
sternenseemann f234b2bce7
ocamlPackages.mirage-flow-unix/-combinators: init at 2.0.1 2020-04-14 18:15:10 +02:00
sternenseemann 7538b79607
ocamlPackages.mirage-clock-unix: init at 3.0.1 2020-04-14 18:09:02 +02:00
sternenseemann c2db123b21
mirage-crypto{,-rng,-pk}: init at 0.6.2 2020-04-14 18:06:16 +02:00
Vincent Laporte ef8ea1e556
Merge pull request #85161 from sternenseemann/irmin
ocamlPackages.irmin*: 2.0.0 -> 2.1.0, add ppx_irmin, ocaml-syntax-shims, index: 1.0.1 -> 1.2.0
2020-04-14 06:43:57 +02:00
Vincent Laporte f9c31303b2 ocamlPackages.dns-client: init at 4.4.1 2020-04-14 06:25:03 +02:00
Vincent Laporte 6edabf41b3 ocamlPackages.mirage-stack: init at 2.0.1 2020-04-14 06:25:03 +02:00
Vincent Laporte 32feaeab83 ocamlPackages.mirage-random: init at 2.0.0 2020-04-14 06:25:03 +02:00
Vincent Laporte 66ffbf57c3 ocamlPackages.mirage-protocols: init at 4.0.1 2020-04-14 06:25:03 +02:00
Vincent Laporte 81fa88504b ocamlPackages.mirage-flow: init at 2.0.1 2020-04-14 06:25:03 +02:00
Vincent Laporte 10a73b84d3 ocamlPackages.mirage-device: init at 2.0.0 2020-04-14 06:25:03 +02:00
Vincent Laporte d7ee3bc968 ocamlPackages.mirage-clock: init at 3.0.1 2020-04-14 06:25:03 +02:00
Vincent Laporte ad098ac026 ocamlPackages.randomconv: init at 0.1.3 2020-04-14 06:25:03 +02:00
Vincent Laporte e021f27d75 ocamlPackages.dns: init at 4.4.1 2020-04-14 06:25:03 +02:00
Vincent Laporte b70b03272a ocamlPackages.duration: init at 0.1.3 2020-04-14 06:25:03 +02:00
sternenseemann 4ef5c64226 ocamlPackages.ppx_irmin: init at 2.1.0 2020-04-13 17:51:33 +02:00
sternenseemann cdad44ed31 ocamlPackages.ocaml-syntax-shims: init at 1.0.0 2020-04-13 17:51:32 +02:00
Vincent Laporte c0086a5c2a
ocamlPackages.ocaml_gettext: 0.3.8 → 0.4.1 2020-04-06 13:57:21 +02:00
Vincent Laporte 4dd89ce0a0 OCaml: default to version 4.09 2020-04-04 13:26:33 +02:00
Vincent Laporte 8e686bacc4 ocamlPackages.ocaml-r: init at 0.2.0 2020-04-01 17:29:30 +02:00
Vincent Laporte dd6d785d38 ocamlPackages.graphics: init at 5.1.0 for OCaml ≥ 4.09 2020-03-23 09:12:50 +01:00
Vincent Laporte 0229936bbe buildDunePackage: add a “useDune2” option 2020-03-23 09:12:50 +01:00
Vincent Laporte 7b33cbdbf5 OCaml: default to version 4.08 2020-03-13 22:31:01 +01:00
Vincent Laporte 4adfbe6c7b unison: move out of ocamlPackages 2020-03-13 22:31:01 +01:00
Joachim Breitner 2d2a5a9b63
js_of_ocaml: 3.4.0 -> 3.5.2 (#75766)
drive-by contributions, as I was playing around with this (it has better
support for the `num` library, it seems.)

js_of_ocaml: 3.4.0 -> 3.5.2
ocamlPackages.js_of_ocaml-ppx_deriving_json: use ppxlib-0.12.0
ocamlPackages.eliom: 6.8.0 → 6.10.1
ocamlPackages.ocsigen-toolkit: 2.2.0 → 2.5.0
ocamlPackages.ocsigen-start: 2.7.0 → 2.16.1

Co-authored-by: Vincent Laporte <Vincent.Laporte@gmail.com>
2020-03-06 07:42:04 +01:00
Vincent Laporte 3fe7a65e23 ocaml-ng.ocamlPackages_4_10.ocaml: 4.10.0+rc2 → 4.10.0 2020-03-03 06:49:08 +01:00
Vincent Laporte fe0ebdf825 ocamlPackages.conduit_p4: remove at 0.10.0 2020-02-28 21:24:26 +01:00
Vincent Laporte 305dc2a199 ocamlPackages.cohttp_p4: remove at 0.19.3 2020-02-28 21:24:26 +01:00
Vincent Laporte fca7f386db trv: remove at 0.1.3 2020-02-28 21:24:26 +01:00
Vincent Laporte 4f7484f038 ocamlPackages.pgocaml_ppx: init at 4.0 2020-02-25 08:12:07 +01:00
Ben Darwin c81a2e6a1e ocamlPackages.npy: init at unstable-2019-04-02 2020-02-11 07:33:42 +01:00
Ben Darwin 00cd1d0f21 ocamlPackages.parmap: init at 1.1 2020-02-04 17:49:45 +01:00
Alexandre Esteves 8604575f6b ocamlPackages.dum: init at 1.0.1 (#74817)
* ocamlPackages.dum: init at 1.0.1

* Cleanup
2020-01-26 02:10:17 +01:00
Mario Rodas f164e688a4
Merge pull request #78005 from marsam/update-flow
flow: 0.114.0 -> 0.116.1
2020-01-20 21:27:06 -05:00
Vincent Laporte bd5a596868 ocaml-ng.ocamlPackages_4_10.ocaml: init at 4.10.0+beta1 2020-01-20 17:46:13 +01:00
Mario Rodas 479bc9d9e6
ocamlPackages.sedlex_2: init at 2.1 2020-01-18 16:20:00 -05:00
Kaz Wesley 69aa28a195 ocamlPackages.lens: init at 1.2.3 (#77656) 2020-01-14 09:41:59 +01:00
Alexandre Esteves be90b35b9e ocamlPackages.conduit: 1.0.0 -> 1.4.0 and dependencies (#74821) 2019-12-29 20:40:36 +01:00
Mario Rodas 38b41d86c2
Merge pull request #76559 from bcdarwin/update-parany
ocamlPackages.parany: 7.0.0 -> 8.0.0
2019-12-27 15:03:54 -05:00
Ben Darwin f1958523e3 ocamlPackages.cpu: setcore 1.0.1 -> cpu 2.0.0 2019-12-26 17:30:49 -05:00
Alexandre Esteves c7a9cb04fd ocamlPackages.irmin: init at 1.4.0 (#74818) 2019-12-24 13:44:13 +01:00
Mario Rodas c53fa2511a
Merge pull request #74205 from bcdarwin/parany
ocamlPackages.parany: init at 7.0.0
2019-12-23 11:20:01 -05:00
Mario Rodas 8d3199b549
Merge pull request #74261 from marsam/update-dune
dune: init at 2.1.0
2019-12-23 09:19:21 -05:00
Mario Rodas 5eb4a2352e
ocamlPackages.dune-configurator: init at 2.1.0 2019-12-21 10:03:56 -05:00
Mario Rodas 6b9504955f
ocamlPackages.dune-private-libs: init at 2.1.0 2019-12-21 10:03:50 -05:00
Mario Rodas 1b1f9584e5
dune_2: init at 2.1.0
Changelog:
- https://github.com/ocaml/dune/releases/tag/2.0.0
- https://github.com/ocaml/dune/releases/tag/2.0.1
- https://github.com/ocaml/dune/releases/tag/2.1.0
2019-12-21 10:03:41 -05:00
Vincent Laporte 69a40eda5f
Merge pull request #75376 from vbgl/ocaml-irmin-2.0.0
ocamlPackages.irmin: init at 2.0.0
2019-12-20 10:57:07 +01:00
Vincent Laporte ed5c0443c1 ocamlPackages.lua-ml: init at 0.9 2019-12-15 08:23:32 +01:00
Vincent Laporte b5e82ad239 ocamlPackages.ocaml-version: init at 2.3.0 2019-12-14 15:57:36 +01:00
Vincent Laporte d6eb9b5e0b
ocamlPackages.irmin-unix: init at 2.0.0 2019-12-09 17:02:13 +00:00
Vincent Laporte 583b483ebb
ocamlPackages.irmin-watcher: init at 0.4.1 2019-12-09 17:02:13 +00:00
Vincent Laporte bdd0a3fe8c
ocamlPackages.yaml: init at 2.0.1 2019-12-09 17:02:13 +00:00
Vincent Laporte ad95ea7223
ocamlPackages.irmin-pack: init at 2.0.0 2019-12-09 17:02:13 +00:00
Vincent Laporte 186e55f746
ocamlPackages.irmin-graphql: init at 2.0.0 2019-12-09 17:02:12 +00:00
Vincent Laporte 52be004a7c
ocamlPackages.irmin-fs: init at 2.0.0 2019-12-09 17:02:12 +00:00
Vincent Laporte 191f1c9a49
ocamlPackages.irmin-http: init at 2.0.0 2019-12-09 17:02:12 +00:00
Vincent Laporte 45d3c40cc4
ocamlPackages.irmin-git: init at 2.0.0 2019-12-09 17:02:12 +00:00
Vincent Laporte 5bbc1c1159
ocamlPackages.irmin-mem: init at 2.0.0 2019-12-09 17:02:11 +00:00
Vincent Laporte a21d658051
ocamlPackages.irmin-test: init at 2.0.0 2019-12-09 17:02:11 +00:00
Vincent Laporte c07de6cd86
ocamlPackages.irmin: init at 2.0.0 2019-12-09 17:02:11 +00:00
Vincent Laporte e7857f0d30
ocamlPackages.alcotest-lwt: init at 0.8.5 2019-12-09 17:02:11 +00:00
Vincent Laporte d7ec7abd1f
ocamlPackages.index: init at 1.0.1 2019-12-09 17:02:10 +00:00
Vincent Laporte c09e680e77 ocamlPackages.graphql-cohttp: init at 0.13.0 2019-12-09 09:53:40 +01:00
Vincent Laporte 9b834a210e ocamlPackages.graphql-lwt: init at 0.13.0 2019-12-09 09:53:40 +01:00
Vincent Laporte 187c657eab ocamlPackages.graphql: init at 0.13.0 2019-12-09 09:53:40 +01:00
Vincent Laporte 40a023a853 ocamlPackages.graphql_parser: init at 0.13.0 2019-12-09 09:53:40 +01:00
Vincent Laporte 9ed43c870e ocamlPackages.webmachine: init at 0.6.1 2019-12-08 07:55:34 +01:00
Vincent Laporte 84d650ed2b ocamlPackages.dispatch: init at 0.4.1 2019-12-08 07:55:34 +01:00
Ben Darwin f3f6aa4475 metrics-unix: fix gnuplot input 2019-12-06 12:14:38 -05:00
Ben Darwin 3fa5a19cf8 ocamlPackages_latest.phylogenetics: init at unstable-2019-11-15 2019-12-06 12:00:44 -05:00
Ben Darwin b103ec0911 ocamlPackages.gnuplot: init at 0.5.3 2019-12-06 12:00:44 -05:00
Ben Darwin eddfe95f29 ocamlPackages.biocaml: init at 0.10.0 2019-12-06 12:00:44 -05:00
Ben Darwin 6b8de994a1 ocamlPackages.cfstream: init at 1.3.0 2019-12-06 12:00:44 -05:00
Vincent Laporte 7132e6b573 ocaml-crunch: init at 3.1.0 2019-12-06 06:17:14 +00:00
Vincent Laporte 0b5dfa54e1 ocamlPackages.metrics-unix: init at 0.1.0 2019-12-04 15:37:36 +00:00
Vincent Laporte 8ad01c3362 ocamlPackages.metrics-lwt: init at 0.1.0 2019-12-04 15:37:36 +00:00
Vincent Laporte 5d0dd4e536 ocamlPackages.metrics: init at 0.1.0 2019-12-04 15:37:36 +00:00
Ben Darwin d016a507ea ocamlPackages.{owl-base,owl}: init at 0.7.1 2019-11-29 17:22:45 +00:00
Ben Darwin 777efe8425 ocamlPackages.eigen: init at 0.1.4 2019-11-29 17:22:45 +00:00
Ben Darwin 06ddb4a49f ocamlPackages.parany: init at 7.0.0 2019-11-29 11:12:08 -05:00
Ben Darwin eb1efb718c ocamlPackages.setcore: init at 1.0.1 2019-11-29 11:12:02 -05:00
Cedric Cellier 724133984f ocaml-kafka: init at 0.4 2019-11-29 07:39:10 +00:00
Cedric Cellier 359e6446ef ocaml-sodium: init at 0.6.0 2019-11-22 07:48:55 +00:00
Vincent Laporte 82af060040 ocamlPackages.lwt3: remove at 3.3.0 2019-11-07 16:39:42 +00:00
Vincent Laporte 60f50b69a6 haxe: refactor out of ocamlPackages 2019-10-30 18:05:20 +00:00
Vincent Laporte 7e51c79f17 monotoneViz: refactor out of ocamlPackages 2019-10-30 18:05:20 +00:00
José Romildo Malaquias 432258f0da ocamlPackages.ocamlearlybird: init at 0.1.5 2019-10-29 10:51:42 -03:00
José Romildo Malaquias a0f12b059a ocamlPackages.angstrom-unix: init at 0.12.1 2019-10-28 14:41:12 -03:00
José Romildo Malaquias 05a71af6a4 ocamlPackages.angstrom-lwt-unix: init at 0.12.1 2019-10-28 14:40:53 -03:00
José Romildo Malaquias 46eacf359b ocamlPackages.angstrom-async: init at 0.12.1 2019-10-28 14:40:35 -03:00
Vincent Laporte 8dc2173905 ocamlPackages.decompress: 0.6 → 0.9.0
ocamlPackages.git: 1.11.5 → 2.1.0

ocamlPackages.imagelib: 20171028 → 20191011

ocamlPackages.imagelib-unix: init
2019-10-28 07:37:24 +00:00
Vincent Laporte ea5684b438 ocamlPackages.encore: init at 0.3 2019-10-28 07:37:24 +00:00
Vincent Laporte 9f26063077 ocamlPackages.ke: init at 0.4 2019-10-28 07:37:24 +00:00
Vincent Laporte bbce011c13 ocamlPackages.duff: init at 0.2 2019-10-21 05:31:00 +00:00
Vincent Laporte 7264e96053 ocamlPackages.spelll: init at 0.3
Fuzzy string searching, using Levenshtein automaton. Can be used for
spell-checking.

Homepage: https://github.com/c-cube/spelll
2019-10-17 05:50:26 +00:00
Vincent Laporte 7c6026019e
ocamlPackages.doc-ock: remove at 1.2.1
This is now part of ocamlPackages.odoc
2019-10-15 06:03:53 +00:00
Vincent Laporte e33563438e
ocamlPackages.doc-ock-xml: remove at 1.2.1
This is now part of ocamlPackages.odoc
2019-10-15 06:03:48 +00:00
Vincent Laporte 960dfbc5b4
ocamlPackages.doc-ock-html: remove at 1.2.1
This is now part of ocamlPackages.odoc
2019-10-15 06:03:42 +00:00
Vincent Laporte e191a69e8d ocamlPackages.eqaf: init at 0.5 2019-10-15 07:08:13 +02:00
Vincent Laporte 632f69857d ocamlPackages.ocaml-monadic: init at 0.4.1 2019-10-12 07:41:49 +02:00
Vincent Laporte c82c6d3a12 ocaml: default to version 4.07
patdiff: 0.11.0 → 0.12.0
2019-10-11 07:58:42 +02:00
Vincent Laporte 4ca445c722 ocaml-ng.ocamlPackages_latest: 4.08.1 -> 4.09.0 2019-09-27 07:45:18 +02:00
Jörg Thalheim 646dd55d16
ocamlPackages.containers: 1.4 → 2.6.1, and related fixes (#69132)
ocamlPackages.containers: 1.4 → 2.6.1, and related fixes
2019-09-24 07:48:26 +01:00
Vasiliy Yorkin 0cf81af50c ocamlPackages.ppx_deriving_rpc: init at 5.9.0 2019-09-20 05:54:29 +00:00
Vasiliy Yorkin fac7453117 ocamlPackages.ocaml-protoc: init at 1.2.0 (#68962) 2019-09-20 05:53:30 +00:00
Vincent Laporte 424c20414a
ocamlPackages.containers: 1.4 → 2.6.1
ocamlPackages.sequence/iter: 1.1 → 1.2.1

Ensures compatibility with OCaml 4.08
2019-09-20 05:29:05 +00:00
Vasiliy Yorkin 2b921136f0 ocamlPackages.ppx_deriving_protobuf: init at 2.7 2019-09-13 16:18:27 +00:00
Vincent Laporte 748046d594 ocamlPackages.janeStreet: init at 0.12 (for OCaml ≥ 4.07)
Also add a few legacy packages at version 0.11 for OCaml ≥ 4.07: configurator,
ppx_core, ppx_driver, ppx_type_conv

ocamlPackages.bap: disable for OCaml ≥ 4.07

ocamlPackages.bistro: 0.4.0 -> 0.5.0
2019-09-10 14:05:26 +00:00
Vasiliy Yorkin 300464ec67 ocamlPackages.rpclib: init at 5.9.0 2019-09-10 06:40:20 +00:00
Franz Pletz de85797565
Merge remote-tracking branch 'origin/master' into gcc-8 2019-09-03 22:15:07 +02:00
Franz Pletz bd85a832c1
bap: build with llvm_8 2019-09-03 21:26:27 +02:00
Franz Pletz e7b6d8790f
ocamlPackages.llvm: build with llvm_8 2019-09-03 21:25:23 +02:00
Vincent Laporte ff392e8190 ocamlPackages.ocplib-json-typed: 0.5 -> 0.7.1 2019-09-03 05:31:11 +00:00
Vincent Laporte 81760f3235 ocamlPackages.cstruct: 3.1.1 -> 4.0.0
ocamlPackages.cstruct-sexp: init at 4.0.0

ocamlPackages.x509: 0.6.1 -> 0.7.1

ocamlPackages.tls: 0.9.0 -> 0.10.4

jackline: 2018-05-11 -> 2019-08-08
2019-08-31 06:55:26 +00:00
Vincent Laporte 10ffd51a96 ocamlPackages.bigarray-compat: init at 1.0.0 2019-08-31 06:55:26 +00:00
Vincent Laporte e9edc7537a ocamlPackages.gmap: init at 0.3.0 2019-08-31 06:55:26 +00:00
Vincent Laporte d33df05f50 ocamlPackages.domain-name: init at 0.3.0 2019-08-31 06:55:26 +00:00
Vincent Laporte a86fe43558 ocamlPackages.lambdaTerm: remove at 1.6 2019-08-28 06:36:57 +00:00
Vincent Laporte 136f739184
ocamlPackages.uri-sexp: init at 3.0.0 2019-08-21 21:12:37 +00:00
Vincent Laporte 59cf0772c2 ocamlPackages.charInfo_width: init at 1.1.0 2019-08-21 05:07:46 +00:00
Vincent Laporte af504e45b3 ocamlPackages.mmap: init at 1.1.0
This project provides a Mmap.map_file function for mapping files in memory.
2019-08-16 06:28:28 +00:00
Merlin Göttlinger f6c363f81d
pgsolver: init at 4.1 2019-08-08 07:51:21 +00:00
Merlin Göttlinger 1559a3798a ocaml-sat-solvers: init at 0.4 (#66275) 2019-08-07 16:48:33 +00:00
Merlin Göttlinger e5340bb5ef ocaml-minisat: init at 0.2 2019-08-07 13:45:31 +00:00
Vincent Laporte b1d37354d7
Merge pull request #65715 from mgttlinger/build-oasis-package
OCaml build support: add oasis build system
2019-08-07 08:07:55 +00:00
Merlin Göttlinger 961b83a99d
Don't use buildOcaml 2019-08-06 17:54:09 +02:00
Merlin Göttlinger d940b44137
tcslib: init at version v0.3
build for tcslib as contribution as well as usage example for the new buildOasisPackage
2019-08-04 18:16:16 +02:00
Vasiliy Yorkin 3aed444d57 ocamlPackages.secp256k1: init at 0.4.0 2019-08-02 16:01:53 +00:00
Sarah Brofeldt 28bf7ab6e6
Merge pull request #65516 from vbgl/ocaml-lambdasoup-0.6.3
ocamlPackages.lambdasoup: init at 0.6.3
2019-08-02 09:48:57 +02:00
Vincent Laporte 0d70d4a8b8 ocamlPackages.merlin_extend-0.3 -> merlin-extend-0.4 2019-08-02 06:32:51 +00:00
Vincent Laporte bd9a7131a1
ocamlPackages.lambdasoup: init at 0.6.3 2019-08-02 06:31:12 +00:00
Merlin Göttlinger 2ea2643b13
OCaml build support: add oasis build system 2019-08-01 10:44:04 +02:00
Vincent Laporte ca3f1c20d7 ocamlPackages.toml: init at 5.0.0 2019-07-30 16:18:39 +00:00
Vincent Laporte d2c3c1f2bb ocaml-ng.ocamlPackages_4_08: 4.08.0+rc2 -> 4.08.0 2019-07-10 05:26:42 +00:00
Patrick Mahoney e485b10d3e ocamlPackages.opium: init at 0.17.1 2019-07-07 08:15:39 +00:00
Patrick Mahoney aa7fbe4d2e ocamlPackages.hmap: init at 0.8.1 2019-07-07 08:15:39 +00:00
José Romildo Malaquias f0e7c5f569 ocamlPackages.printbox: init at 0.2 2019-06-20 07:29:55 +00:00
José Romildo Malaquias b8495898df ocamlPackages.mdx: init at 1.4.0 2019-06-20 07:29:55 +00:00
Vincent Laporte 99fec0eeb3 ocamlPackages.bistro: init at 0.4.0 2019-06-20 07:29:20 +00:00
volth f3282c8d1e treewide: remove unused variables (#63177)
* treewide: remove unused variables

* making ofborg happy
2019-06-16 19:59:05 +00:00
Vincent Laporte 3ca7fc10e8 ocamlPackages.earley: 1.0.2 -> 2.0.0 2019-05-29 08:29:09 +02:00
Vincent Laporte eff7bc3f33 ocamlPackages.uri_1_9: remove at 1.9.6 2019-05-05 22:00:58 +02:00
Vincent Laporte f38bf3ba4e ocamlPackages.bap: 1.4.0 -> 1.6.0
libbap: 2018-03-01 -> 2019-04-05
2019-05-05 22:00:58 +02:00
Vincent Laporte 61b53f4071 ocamlPackages.ojquery: remove at 0.1 2019-04-28 17:42:36 +02:00
Vincent Laporte 5e93a2f2d9
ocamlPackages.uri_1_9: add an attribute for version 1.9 2019-04-16 08:41:56 +00:00
Vincent Laporte 2dfc7524c6
ocamlPackages.cohttp: 1.1.1 -> 2.0.0 2019-04-07 20:11:18 +00:00
Vincent Laporte 905405eb72
ocamlPackages.uri: 1.9.6 -> 2.2.0 2019-04-07 20:11:13 +00:00
Vincent Laporte 3a10042c81
ocamlPackages.base64: 2.0.0 -> 3.2.0
Keep the legacy version under attribute `base64_2`
2019-04-06 13:24:16 +00:00
Vincent Laporte 50a03f8632 hol_light: 2018-09-30 -> 2019-03-27 2019-04-06 11:03:29 +02:00
Vincent Laporte 853b589f78
ocamlPackages.cairo2: 0.5 -> 0.6 (#57965) 2019-03-26 15:11:37 +01:00
Vincent Laporte 7a2426ca77 dune: move into ocamlPackages 2019-03-26 14:17:50 +01:00
Cedric Cellier 0206adc566 lacaml: init at 11.0.3 2019-03-24 19:37:47 +01:00
Cedric Cellier 913e33897c ocaml-syslog: init at 1.5 2019-03-19 09:31:12 +01:00
Vincent Laporte 93ce3df6b5 ocamlPackages.stdlib-shims: init at 0.1.0 2019-03-03 11:45:21 +01:00
Vincent Laporte b275d09224 ocamlPackages.lablgtk3: 3.0.beta3 -> 3.0.beta4 2019-02-22 13:00:04 +01:00
Vincent Laporte 1753b20648 ocaml: init at 4.08.0+beta1 2019-02-19 09:44:04 +01: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
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
pukkamustard 9211bcc7ea ocamlPackages: Use lib.makeScope 2019-01-06 11:20:08 +00: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
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 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
Vincent Laporte 113a7562fe ocamlPackages.lablgtk3: init at 3.0.beta1 2018-12-13 09:09:09 +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
Jörg Thalheim 1388223456
Merge pull request #51276 from nomeata/ocaml-bisect
Add bisect_ppx and bisect_ppx-ocamlbuild
2018-12-02 23:44:41 +00:00
Magnus Jonsson d23acab3a3 ocamlPackages.opti: init at 1.0.3 2018-12-01 19:00:23 -08:00
Joachim Breitner 7621523fc1 Add bisect_ppx and bisect_ppx-ocamlbuild 2018-11-30 12:57:01 +01:00
Vincent Laporte e481df83b1 ocamlPackages.camlp5: 7.06 -> 7.07
Keeping the legacy (7.06) version around, needed by hol_light
2018-11-21 05:59:49 +00:00
Jörg Thalheim 8debc01cb4
Merge pull request #49822 from marsam/feature/update-flow
flow: 0.80.0 -> 0.85.0
2018-11-07 15:05:57 +00:00
Théo Zimmermann 794158fcd5
buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
Mario Rodas 36efe7b3aa ocamlPackages.visitors: init at 20171124 2018-11-06 08:06:11 -05:00
Jörg Thalheim b5ad615474
verasco: remove unmaintained project
Verasco is no longer maintained by upstream and blocks updates of some libraries.
Removing it also makes it possible to remove coq 8.4.
2018-10-30 13:31:11 +00:00
Vincent Laporte 80bb1db72c
ocamlPackages.menhir: 20170712 -> 20181026 2018-10-28 15:30:49 +00:00
Mateusz Czapliński 98d4e42145 ocamlPackages.zmq: init at 20180726 2018-10-22 06:51:17 +00:00
Théo Zimmermann 2fdd38ed2d
camlp5_transitional: remove in favor of camlp5 (strict) 2018-10-10 19:44:54 +02:00
Théo Zimmermann eaf0de5985
ulex: remove version 0.8 2018-10-10 19:42:54 +02:00
Théo Zimmermann c76ffb9253
matita: remove broken package
As requested by Vincent Laporte.
2018-10-09 09:47:31 +02:00
Théo Zimmermann 0f8ef669ac
ocamlPackages_3_12_1: remove 2018-10-08 21:10:05 +02:00
Théo Zimmermann 34394a38ef
ocamlPackages_3_11_2: remove
This requires removing also the Coq 8.3 and Matita 0.5.8 packages.

Coq 8.3 was released 8 years ago (2010) and there is no trace left
of users of this version (contrary to Coq 8.4, released 2012).
It is well over time to remove it.

Matita 0.5.8 was released in 2010 and because this version was still
used for teaching according to the official website, a legacy release
(0.5.9) was released in 5 years later to compile with more recent
OCaml libraries.
Updating to 0.5.9 (or a more recent version like 0.99.3) should allow
getting rid of the dependency on older OCaml but it is hard to test
given that the package is already broken before this update.
2018-10-08 21:10:05 +02:00
Théo Zimmermann 62cf2840bd
ocamlPackages_3_10_0: remove 2018-10-08 21:10:05 +02:00
Théo Zimmermann 3d683f33f3
ocamlPackages_3_08_0: remove 2018-10-08 21:10:04 +02:00
Théo Zimmermann cf1f8b2d04
camlp5: remove old version 5.15 2018-10-08 21:09:59 +02:00
Vincent Laporte bdaedbe38c ocamlPackages.ocaml_lwt: 3.3.0 -> 4.1.0 2018-10-08 05:59:24 +00:00
Marco Maggesi 9a5f7b1630 hol_light: 2017-07-06 -> 2018-09-30
Also handle compatibility with newer version of OCaml (depend on num
library as needed).
2018-10-06 15:49:09 +00:00