Commit graph

23 commits

Author SHA1 Message Date
d66f9fa58e builder-web: update constraints from upstream
There were some lower bounds that we were missing. Since we prefer newer
packages it should not make a difference for reproducibility (inshallah)
2024-08-19 12:21:55 +02:00
e830765150 builder-web: remove upper bound on dream
Locally, builder-web seems to build fine with dream.1.0.0~alpha6.
2024-08-19 12:12:46 +02:00
3ac5d936c1 Update builder-web according to upstream 2024-08-16 08:38:07 +02:00
d8e4fa48db builder-web: Set upper bound on tar 2024-08-12 10:11:47 +02:00
Robur Team
9cc313c191 builder-web, opam-graph: use github as source for now 2024-06-26 11:03:27 +00:00
9292b8f29e builder-web: restrict to dream < alpha6 for now 2024-06-02 22:36:27 +02:00
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
Renamed from packages/builder-web.0.0.1~dev/opam (Browse further)