|
|
5bd0c6f2e7
|
upgrade orb version number (now that 1.0 is released)
|
2024-09-13 18:36:19 +02:00 |
|
|
|
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 |
|
