Commit graph

17 commits

Author SHA1 Message Date
1324abc7bd builder-web.opam: update from upstream 2023-09-11 12:19:25 +02:00
31d1d569b1 roburio -> robur-coop 2023-09-09 14:19:41 +02:00
9ff1c6fd44 adapt from upstream 2023-08-25 11:55:11 +02:00
d9a110e36d move git git.robur.coop 2023-06-03 14:54:12 +02:00
0d274ed80c packages: require ocaml < 5 (ocaml 5 isn't yet in a nice shape) 2023-05-28 15:00:19 +02:00
8fcf3c5335 Update builder-web 2022-07-12 17:24:32 +02:00
Robur
a16b340ce6 Further builder-web opam updates 2022-06-23 10:26:08 +00:00
Robur
4dada88918 Update builder-web 2022-06-23 10:19:01 +00:00
e1896cb892 builder-web: update opam file from upstream 2022-05-16 12:58:49 +02:00
320191691d more cmdliner 1.1.0 requirements 2022-03-16 13:25:18 +01:00
4d003e5587 dune 3.0.3 is out - no need to restrict any package with dune < 3.0 anymore (FreeBSD uses gmake now) 2022-03-02 13:39:36 +01:00
f4108c4e0d add solo5-elftool and owee dependency 2022-02-23 22:13:31 +01:00
7f2f93fee5 builder-web: restrict to old dune for now (until 3.0.3 is released) 2022-02-23 13:30:51 +01:00
c8d5e80e29 builder-web requires dream 1.0 alpha2 2022-02-23 13:21:41 +01:00
b2e27d46f2 Add opam-graph, modulectomy packages
Remove pin-depends in builder-web and add new package opam-graph and
update modulectomy branch.
2022-02-02 13:03:50 +00:00
ec91a8f809 Update builder-web opam file
- Depend on tar, opam-graph, modulectomy
- Add pin-depends on opam-graph, modulectomy
2022-02-02 11:43:50 +00:00
7ce4cb8e82 update builder-web from upstream 2021-11-14 13:57:50 +01:00