Anders Kaseorg
6920d8ca42
treewide: Simplify negated uses of versionAtLeast, versionOlder
...
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
2022-04-25 13:35:24 -07:00
Armeen Mahdian
4e4feb0e06
ocamlPackages.llvm: switch to python3
2022-04-23 13:40:33 +02:00
superherointj
5e2b2659dc
ocamlPackages.reperf: init 1.5.1
2022-04-22 14:46:33 +02:00
Ulrik Strid
165da7245c
ocamlPackages.caqti: 1.7.0 -> 1.8.0
2022-04-22 13:58:12 +02:00
Ulrik Strid
9ff2c0035f
ocamlPackages.alcotest: 1.4.0 -> 1.5.0
2022-04-22 13:58:12 +02:00
StridBot
b1eef8c0f0
ocamlPackages.toml: 6.0.0 -> 7.0.0 ( #165676 )
2022-04-20 21:50:03 +02:00
Lassulus
dc452c5989
Merge pull request #161676 from r-ryantm/auto-update/ocaml4.12.0-ctypes
...
ocamlPackages.ctypes: 0.18.0 -> 0.20.0
2022-04-20 17:20:21 +01:00
Ulrik Strid
a7e62c21c1
ocamlPackages.pure-splitmix: init at 0.3
2022-04-20 11:37:19 +02:00
Ulrik Strid
3540cc8d16
ocamlPackages.hacl-star-raw: fix aarch64-darwin
2022-04-20 10:31:08 +02:00
superherointj
ab0788c8f5
ocamlPackages.flex: init unstable-2020-09-12
2022-04-20 09:41:27 +02:00
superherointj
efd13315f7
ocamlPackages.brisk-reconciler: init unstable-2020-12-02
2022-04-20 07:22:10 +02:00
superherointj
b2b02f3026
ocamlPackages.rebez: init unstable-2019-06-20
2022-04-19 10:23:56 +02:00
Daniel Olsen
ee122a3337
ocamlPackages.ffmpeg: 1.1.0 -> 1.1.3
2022-04-18 22:20:11 +02:00
Aaron L. Zeng
3a510ac1ce
ocamlPackages.bap: 2.2.0 -> 2.4.0
2022-04-18 21:53:30 +02:00
Aaron L. Zeng
78d682f23e
ocamlPackages.frontc: 3.4.1 -> 4.1.0
2022-04-18 21:53:30 +02:00
Daniel Olsen
2d1cfba349
ocamlPackages.dssi: init at 0.1.5
2022-04-18 16:06:31 +02:00
Daniel Olsen
0c7af2f43d
ocamlPackages.ladspa: init at 0.2.2
2022-04-18 16:06:31 +02:00
Daniel Olsen
0a44fe4dae
ocamlPackages.lastfm: init at 0.3.3
2022-04-18 15:54:38 +02:00
Daniel Olsen
6a14836a53
ocamlPackages.xmlplaylist: init at 0.1.5
2022-04-18 15:54:38 +02:00
Daniel Olsen
ee672c823e
ocamlPackages.samplerate: init at 0.1.6
2022-04-18 15:34:27 +02:00
Aaron L. Zeng
fd0b060560
ocamlPackages.gen_js_api: init at 1.0.9
...
I chose 1.0.9 instead of the latest 1.1.0, to avoid having to upgrade
js_of_ocaml first.
2022-04-18 15:28:49 +02:00
Daniel Olsen
0bcf4a81c8
ocamlPackages.bjack: init at 0.1.6
2022-04-18 15:17:46 +02:00
Vincent Laporte
73a22ba300
ocamlPackages.coin: 0.1.3 → 0.1.4
2022-04-18 15:00:12 +02:00
Aaron L. Zeng
983a9f4bb6
ocamlPackages.phylogenetics: 0.0.0 -> 0.1.0
2022-04-12 16:02:48 +02:00
R. Ryantm
6dd377e367
ocamlPackages.ptime: 0.8.5 -> 0.8.6
...
Co-authored-by: sternenseemann <sternenseemann@systemli.org>
2022-04-09 19:50:52 +01:00
Aaron Zeng
05fe9b54a5
ocamlPackages.cmdliner: Use the upstream Makefile build rules ( #166150 )
...
* ocamlPackages.cmdliner: remove at 1.0.2
Remove a legacy version.
* ocamlPackages.cmdliner: use the upstream Makefile build rules
According to
https://github.com/dbuenzli/cmdliner/pull/147#issuecomment-1081168328 ,
the topkg build is deprecated. Switch to the new recommended build instructions.
2022-04-07 20:37:09 +02:00
Eelco Dolstra
9c60061edc
Merge pull request #165730 from ConnorBaker/z3_versions
...
z3: init 4.8.15, 4.7.1
2022-04-06 12:47:33 +02:00
Aaron L. Zeng
d240ca09aa
ocamlPackages.torch: Mark as broken with pytorch >= 1.11
2022-04-06 07:35:24 +02:00
Vincent Laporte
ed1bc6d369
ocamlPackages.asn1-combinators: disable with OCaml < 4.08
...
Fixes build failures introduced by fbac0f4a6d
2022-04-06 07:20:05 +02:00
Vincent Laporte
9bf28042f5
ocamlPackages.sqlite3EZ: remove at 0.1.0
...
Broken by a13cdfe520
2022-04-06 07:20:05 +02:00
Vincent Laporte
0c7c76fa9e
ocamlPackages.ocsigen-toolkit: 3.0.1 → 3.1.1
2022-04-05 13:33:20 +02:00
Vincent Laporte
1af918c494
ocamlPackages.ocsigenserver: 4.0.1 → 5.0.1
2022-04-05 13:33:20 +02:00
Vincent Laporte
b1a435eda0
ocamlPackages.ocsigen-start: 4.3.0 → 4.5.0
2022-04-05 13:33:20 +02:00
Vincent Laporte
684ae27163
ocamlPackages.eliom: 8.9.0 → 9.4.0
2022-04-05 13:33:20 +02:00
Vincent Laporte
994b21d1c1
ocamlPackages.ocsipersist: init at 1.1.0
...
With support for SQLite and PostgreSQL
2022-04-05 13:33:20 +02:00
Vincent Laporte
1ddbc47dc7
ocamlPackages.type_conv: remove at 108.08.00, 109.60.01, 113.00.02
2022-04-03 21:36:52 +02:00
Artturi
3630f5619a
Merge pull request #165614 from StridBot/auto-update/ocaml4.13.1-caqti
2022-04-03 09:30:13 +03:00
Vincent Laporte
366a59cdc3
ocamlPackages.unionFind: init at 20220122
2022-03-31 19:51:42 +02:00
Vincent Laporte
deda77e07b
Merge pull request #166134 from bcc32/update-macaddr-ipaddr
...
ocamlPackages.{macaddr,ipaddr}: 5.2.0 -> 5.3.0
2022-03-29 20:48:58 +02:00
Vincent Laporte
1c48b0f896
ocamlPackages.mimic: remove spurious dependencies
2022-03-29 09:47:08 +02:00
Vincent Laporte
aeb65012fa
ocamlPackages.{macaddr,ipaddr}: minor cleaning
2022-03-29 08:02:14 +02:00
Aaron L. Zeng
e87b6f72d1
ocamlPackages.{macaddr,ipaddr}: 5.2.0 -> 5.3.0
2022-03-28 16:19:05 -04:00
Aaron L. Zeng
f37810ba4d
ocamlPackages.core_unix: init at 0.14
...
This is a compatibility package for a soon-to-come breaking change in
Jane Street package layout.
2022-03-28 21:41:36 +02:00
Vincent Laporte
9c16cf9005
ocamlPackages.ocplib-endian: disable for OCaml ≤ 4.02
2022-03-28 21:01:41 +02:00
Vincent Laporte
9211608da7
ocamlPackages.wasm: disable with OCaml 4.02
2022-03-28 21:01:41 +02:00
Vincent Laporte
3d7f865ddb
ocamlPackages.uutf: disable with OCaml ≤ 4.02
2022-03-28 21:01:41 +02:00
Vincent Laporte
700c4a7055
ocamlPackages.bolt: remove at 1.4 (broken with OCaml 4.02)
2022-03-28 21:01:41 +02:00
sternenseemann
80d8655c15
ocamlPackages.fiat-p256: remove at 0.2.1
...
Upstream has deprecated the package and we no longer depend on it for
anything:
> Archived, now integrated into mirage-crypto-ec (please use that and report issues there)
2022-03-28 18:37:13 +02:00
Vincent Laporte
7cc596593c
ocamlPackages.dune-private-libs: 2.9.3 → 3.0.3
...
ocamlPackages.dune-site: 2.9.3 → 3.0.3
ocamlPackages.dune-glob: 2.9.3 → 3.0.3
ocamlPackages.dune-action-plugin: 2.9.3 → 3.0.3
2022-03-28 07:08:14 +02:00
Vincent Laporte
b19721dc2a
ocamlPackages.stdune: init at 3.0.3
2022-03-28 07:08:14 +02:00
