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