Commit graph

7 commits

Author SHA1 Message Date
c216572037 Revert "revert orb, we need opam 2.1.2"
This reverts commit b775eccb7b.
2024-08-23 13:15:40 +02:00
b775eccb7b revert orb, we need opam 2.1.2 2024-08-08 12:24:47 +02:00
13088c3910 orb requires opam 2.2 now 2024-08-08 10:36:35 +02:00
0e0533ac17 Add upper constraint on opam-state
The API has changed, and I can't figure out how to update orb yet.
2024-07-29 16:23:59 +02:00
31d1d569b1 roburio -> robur-coop 2023-09-09 14:19:41 +02:00
0d274ed80c packages: require ocaml < 5 (ocaml 5 isn't yet in a nice shape) 2023-05-28 15:00:19 +02:00
Robur
d84cc0048e orb: update ocaml lower bound 2022-08-03 13:03:04 +00:00