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
Carlos D'Agostino
364d477236
ocamlPackages.ezxmlm: init at 1.0.2
2018-10-06 14:18:51 +00:00
Vincent Laporte
c8f3e0f118
ocamlPackages.elpi: init at 1.0.5
2018-09-27 17:41:12 +00:00
Vincent Laporte
cbc609ca8c
ocamlPackages.odoc: init at 1.2.0
2018-09-24 05:08:37 +00:00
Vincent Laporte
886acaff11
ocamlPackages.doc-ock-xml: init at 1.2.1
2018-09-24 05:08:37 +00:00
Vincent Laporte
41f06396cc
ocamlPackages.doc-ock-html: init at 1.2.1
2018-09-24 05:08:37 +00:00
Vincent Laporte
55ef56b260
ocamlPackages.doc-ock: init at 1.2.1
2018-09-24 05:08:37 +00:00
Vincent Laporte
26aa4c36ba
ocamlPackages.erm_xmpp: 0.3 -> 0.3+20180112
2018-09-21 17:04:23 +00:00
Vincent Laporte
f0a0ccabcc
ocamlPackages.seq: init at 0.1
2018-09-05 17:12:13 +00:00
John Ericson
2c4a75e9ef
Merge pull request #45820 from obsidiansystems/dont-use-obsolete-platform-aliases
...
treewide: Dont use obsolete platform aliases
2018-08-31 09:56:10 -04:00
John Ericson
2c2f1e37d4
reewide: Purge all uses stdenv.system
and top-level system
...
It is deprecated and will be removed after 18.09.
2018-08-30 17:20:32 -04:00
Vincent Laporte
474c0aa221
ocamlPackages: default to 4.06
2018-08-29 12:49:46 +00:00
Vincent Laporte
bdaec23d14
ocamlPackages.ocaml_extlib_maximal: remove at 1.7.5
2018-08-29 12:49:45 +00:00
Ivan Jager
ef98b96356
atd: 1.12.0 -> 2.0.0 ( #45046 )
...
atdgen is now part of atd
2018-08-15 10:45:42 +02:00
Vincent Laporte
be989c7af4
ocamlPackages.javalib: 2.3.4 -> 2.3.5 ( #45016 )
2018-08-14 14:53:30 +02:00
Vincent Laporte
26213bc990
stog: 0.17.0 -> 0.18.0
2018-07-29 13:32:10 +00:00
Vincent Laporte
d6a60a7e91
ocamlPackages.labltk: init at 8.06 ( #43963 )
...
LablTk is an OCaml interface to the Tcl/Tk GUI framework.
homepage: http://labltk.forge.ocamlcore.org/
2018-07-29 08:35:35 +00:00
Vincent Laporte
1747b29a4c
ocamlPackages.httpaf: init at 0.4.1
...
http/af is a high-performance, memory-efficient, and scalable web server for
OCaml.
Homepage: https://github.com/inhabitedtype/httpaf
2018-07-29 07:47:21 +00:00
Vincent Laporte
96b9fdaa35
ocamlPackages.bigstringaf: init at 0.3.0
...
Bigstring intrinsics and fast blits based on memcpy/memmove
homepage: https://github.com/inhabitedtype/bigstringaf
2018-07-29 07:47:21 +00:00
Vincent Laporte
0c4daae16a
ocamlPackages.ppx_sqlexpr: init at 0.9.0
2018-07-28 14:16:47 +00:00
Fatih Altinok
8d03816ed0
ocamlPackages.ppx_gen_rec: init at 1.0.0
2018-07-23 14:01:50 +00:00
Vincent Laporte
6ca8f06b5b
ocaml-4.07: 4.07.0+rc1 -> 4.07.0
2018-07-23 07:24:25 +00:00
volth
52f53c69ce
pkgs/*: remove unreferenced function arguments
2018-07-21 02:48:04 +00:00
xeji
ebdb6edad7
Merge pull request #43440 from vbgl/ocaml-lwt_log-1.0.0
...
ocamlPackages.lwt_log: init at 1.0.0
2018-07-14 00:25:55 +02:00
Vincent Laporte
ade8242b81
ocamlPackages.ezjsonm: 0.4.3 -> 0.6.0
2018-07-13 16:21:33 +00:00
Vincent Laporte
5a7ab721b4
ocamlPackages.lwt_log: init at 1.0.0
2018-07-12 21:26:00 +00:00
Vincent Laporte
de1a8ddb3c
ocamlPackages.iri: init at 0.4.0
...
iri is an OCaml implementation of Internationalized Resource Identifiers
(IRIs).
Homepage: https://framagit.org/zoggy/ocaml-iri
2018-07-09 17:15:43 +00:00
Vincent Laporte
3b0cd74f55
ocamlPackages.janeStreet: 0.10 -> 0.11
2018-07-05 19:40:31 +00:00
Vincent Laporte
c647ca8180
ocamlPackages.cmdliner: remove at 0.9.8
2018-06-26 20:14:57 +00:00
Vincent Laporte
ed1bbae4db
ocamlPackages.ocp-indent: remove at 1.5.2
2018-06-26 20:14:57 +00:00
Vincent Laporte
06158033f2
ocamlPackages.ocp-index: use up-to-date ocp-indent
2018-06-26 20:14:57 +00:00
Vincent Laporte
db8f874da8
ocamlPackages.ocp-indent: fix attribute name (from ocpIndent)
2018-06-26 20:14:57 +00:00
Vincent Laporte
fd018bdadd
ocamlPackages.ocp-build: remove spurious dependency to camlp4
...
Change attribute name from “ocpBuild” to “ocp-build”.
2018-06-26 20:14:57 +00:00