Cyril Cohen
cc1f954bc4
ocamlPackages.elpi: 1.10.2 -> 1.11.0
...
coqPackages.coq-elpi: 1.3.1 -> 1.4.0
coqPackages.hierarchy-builder: 0.9.0 -> 0.9.1
2020-06-04 10:25:19 +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
Ben Darwin
7547926b81
ocamlPackages.biocaml: patch for -safe-string compilation with Ocaml 4.10
2020-05-28 09:08:51 +02:00
Ben Darwin
203d0644b4
ocamlPackages.owl: 0.8.0 -> 0.9.0
2020-05-28 09:08:51 +02:00
Vincent Laporte
2f2ff72db3
ocamlPackages.sodium: disable for OCaml ≥ 4.10
2020-05-27 10:12:22 +02:00
Vincent Laporte
03cd92fe70
ocamlPackages.lens: disable for OCaml ≥ 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
8cbf8116e7
ocamlPackages.ppxfind: 1.3 → 1.4
...
ocamlPackages.ocaml-migrate-parsetree: 1.5.0 → 1.7.3
2020-05-22 11:08:55 +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
Vincent Laporte
7b39d85fc7
ocamlPackages.cairo2: disable tests for OCaml ≥ 4.10
2020-05-22 09:41:51 +02:00
sternenseemann
2d51940df5
ocamlPackages.mirage-crypto{,-pk,-rng}: 0.6.2 → 0.7.0
2020-05-21 21:11:21 +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
45bbbdd6b4
ocamlPackages.eqaf: 0.6 → 0.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
801cd20305
ocamlPackages.functoria: 3.0.3 → 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
sternenseemann
8852d537b2
ocamlPackages.io-page: 2.0.1 → 2.3.0
2020-05-21 21:11:21 +02:00
Vincent Laporte
0900872b02
ocamlPackages.batteries: fix for OCaml 4.10
2020-05-20 08:20:27 +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
962f93c46b
ocamlPackages.labltk: init at 8.06.8 for OCaml 4.10
2020-05-18 18:20:24 +02:00
Vincent Laporte
4a873aa29e
ocamlPackages.ppxlib: minor refactoring
2020-05-18 18:19:06 +02:00
Vincent Laporte
311e883b23
ocamlPackages.dune-private-libs: disable 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
873e114cf4
ocamlPackages.ocurl: 0.9.0 → 0.9.1
2020-05-17 06:37:04 +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
Antonio Nuno Monteiro
9a0b7457d3
ocamlPackages.x509: 0.11.1 → 0.11.2
2020-05-14 22:15:32 +02:00
Vincent Laporte
608dbf662c
ocamlPackages.lablgtk: 2.18.8 → 2.18.10
...
This ensures compatibility with OCaml 4.10
2020-05-14 21:26:35 +02:00
Vincent Laporte
d00c84b5bd
ocamlPackages.lablgtkmathview: remove at 0.7.2
2020-05-14 21:26:35 +02:00
Vincent Laporte
9ec8205e78
ocamlPackages.tyxml: 4.3.0 → 4.4.0
...
ocamlPackages.eliom: 6.10.1 → 6.12.0
2020-05-14 18:12:36 +02:00
sternenseemann
9d55751754
ocamlPackages.jingoo: 1.2.18 → 1.3.4
2020-05-14 10:21:40 +02:00
sternenseemann
e12b9622dc
ocamlPackages.tls: 0.11.1 -> 0.12.0
2020-05-12 22:34:30 +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
Jörg Thalheim
d6e330cf7c
Merge pull request #87474 from vbgl/ocaml-mdx-1.6.0
2020-05-12 19:36:58 +01: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
Gabor Greif
90d0fea440
ocamlPackages.wasm: 1.1 -> 1.1.1
...
see https://opam.ocaml.org/packages/wasm/wasm.1.1.1
2020-05-12 09:15:25 +02:00
R. RyanTM
33a756f431
ocamlPackages.lablgtk3: 3.0.beta6 -> 3.1.0
2020-05-11 21:43:28 +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
Kim Lindberger
7451f11730
google-drive-ocamlfuse: 0.7.2 -> 0.7.21 ( #86469 )
...
ocamlPackages.ocamlfuse: 2.7.1_cvs5 -> 2.7.1_cvs6_e35e76b
2020-05-10 21:24:18 +02:00
Gabor Greif
29d0e684af
ocamlPackages.wasm: 1.0 -> 1.1 ( #86803 )
2020-05-10 09:53:27 +02:00
Vincent Laporte
4578b41999
ocamlPackages.mdx: 1.5.0 → 1.6.0
2020-05-10 09:33:22 +02:00
Ben Darwin
1e0912d772
ocamlPackages.torch: init at 0.8
2020-05-09 19:29:47 -04:00
Pavol Rusnak
6abf4a43ad
treewide: per RFC45, remove more unquoted URLs
2020-05-08 15:20:47 +02:00
talyz
1771d468c4
ocamlPackages.gapi-ocaml: 0.3.6 -> 0.3.19
2020-05-07 22:29:52 +02:00
Ben Darwin
d737f310ff
ocamlPackages.owl: unbreak by reversing previous edits
...
- package was broken by 1c8aba83
(#83888 )
- fixes #85915
2020-05-06 09:21:58 +02: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
9f351070a1
Merge pull request #86238 from sternenseemann/x509-0.11.1
...
ocamlPackages.x509: 0.11.0 → 0.11.1
2020-04-29 22:49:39 +01:00
sternenseemann
657b336d72
ocamlPackages.x509: 0.11.0 → 0.11.1
2020-04-28 19:46:15 +02:00
sternenseemann
a89afa13fd
ocamlPackages.angstrom*: 0.12.1 -> 0.13.0
...
also updates:
* ocamlPackages.angstrom-unix
* ocamlPackages.angstrom-lwt-unix
* ocamlPackages.angstrom-async
2020-04-28 13:40:56 +02:00
David Arroyo
9c3bb10d9a
ocamlPackages.tsdl: 0.9.4 -> 0.9.7
...
From the release notes:
* Require OCaml 4.03 and handle stdlib deprecations.
* Drop result depency.
* Drop ocb-stubblr dependency
The library has also been re-licensed from BSD3 to ISC.
2020-04-28 09:25:18 +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
0c4386bf0a
ocamlPackages.dns(-client): 4.4.1 -> 4.5.0
...
jackline: 2020-03-22 -> 2020-04-24
Dependency mtime is no longer needed
2020-04-25 14:51:05 +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
sternenseemann
79e6d13a4a
ocamlPackages.cow: 2.2.0 -> 2.4.0
2020-04-25 09:45:22 +02:00
Frederik Rietdijk
ec21df329a
Merge pull request #85636 from matthewbauer/blas-lapack-fix-fallout-from-83888
...
BLAS/LAPACK fix fallout from #83888
2020-04-21 19:59:16 +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
974920ccd4
ocamlPackages.alcotest: 0.8.5 → 1.0.1
2020-04-21 08:47:40 +02:00
Vincent Laporte
fc317e100a
ocamlPackages.digestif: fix tests for alcotest ≥ 1.0
2020-04-21 08:47:40 +02:00
Vincent Laporte
36632263e0
ocamlPackages.base64: fix tests for alcotest ≥ 1.0
2020-04-21 08:47:40 +02:00
Vincent Laporte
f2788cdf11
ocamlPackages.angstrom: disable tests for OCaml < 4.05
2020-04-21 08:47:40 +02:00
Vincent Laporte
1bdf4d121b
ocamlPackages.bigstringaf: disable tests for OCaml < 4.05
2020-04-21 08:47:40 +02:00
Matthew Bauer
ff2f2644f8
blas,lapack: use isILP64 instead of is64bit
...
This is a better name since we have multiple 64-bit things that could
be referred to.
LP64 : integer=32, long=64, pointer=64
ILP64 : integer=64, long=64, pointer=64
2020-04-20 16:02:43 -05: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
Vincent Laporte
f39712960a
ocamlPackages.rpclib: 6.0.0 → 7.0.0
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
c62428963a
ocamlPackages.sedlex_2: fix dependencies (as per 77901a9
)
2020-04-19 21:50:37 -04:00
Ben Darwin
3a9f743605
ocamlPackages.linenoise: 1.1.0 -> 1.3.0
2020-04-19 21:50:37 -04:00
Ben Darwin
261d7c2f66
ocamlPackages.dune-build-info: init at 2.4.0
2020-04-19 21:50:37 -04:00
Matthew Bauer
1c8aba8334
treewide: use blas and lapack
...
This makes packages use lapack and blas, which can wrap different
BLAS/LAPACK implementations.
treewide: cleanup from blas/lapack changes
A few issues in the original treewide:
- can’t assume blas64 is a bool
- unused commented code
2020-04-17 16:24:09 -05:00
sternenseemann
b5770e34ff
ocamlPackages.otr: 0.3.6 -> 0.3.8
...
Contains switch from nocrypto to mirage-crypto
2020-04-16 19:57:35 +02: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
4bf689b3e0
ocamlPackages.x509: 0.7.1 -> 0.11.0
...
This update contains the switch from nocrypto to mirage-crypto
2020-04-16 19:57:35 +02:00
sternenseemann
824d041cf5
ocamlPackages.ppx_cstruct: propagate dependencies
...
Without propagation some builds of packages requiring ppx_cstruct would
fail.
2020-04-16 19:57:35 +02:00
sternenseemann
4e0a6294a3
ocamlPackages.erm_xmpp: 0.3+20180112 -> 0.3+20200317
2020-04-16 15:32:44 +02:00
sternenseemann
759cac4288
ocamlPackages.notty: 0.2.1 → 0.2.2
2020-04-15 19:03:46 +02:00
sternenseemann
a3cd9c9767
ocamlPackages.fmt: 0.8.6 -> 0.8.8
2020-04-15 18:30:09 +02:00
sternenseemann
29a98f2be1
ocamlPackages.ounit2: init at 2.2.2
2020-04-15 15:01:36 +02:00
sternenseemann
90bc1492ca
ocamlPackages.asn1-combinators: 0.2.0 -> 0.2.2
2020-04-15 14:33:57 +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
sternenseemann
9dcaaeafff
ocamlPackages.eqaf: enable cstruct and bigarray modules
2020-04-14 11:57:24 +02:00
sternenseemann
96bf541725
ocamlPackages.eqaf: 0.5 -> 0.6
2020-04-14 11:56:10 +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