Commit graph

11 commits

Author SHA1 Message Date
31d1d569b1 roburio -> robur-coop 2023-09-09 14:19:41 +02:00
a62b974418 Add tree_layout#master, modulectomy depends on it 2022-08-24 09:57:16 +02:00
be4861cc8f modulectomy: Add tree-layout dependency 2022-08-23 11:16:19 +02:00
ab444d9df0 Update modulectomy
Include fmt dependency and packaging script invocations.
2022-08-23 10:29:57 +02:00
0fc43c22af modulectomy: update from upstream 2022-04-04 13:19:31 +02:00
320191691d more cmdliner 1.1.0 requirements 2022-03-16 13:25:18 +01:00
4c9d58751f use modulectomy from main branch 2022-03-03 15:21:11 +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
Robur
c1f520c3ff modulectomy: add containers-data dep 2021-12-06 12:47:50 +00:00
Robur
39e35110a9 modulectomy: add deps 2021-12-06 11:54:17 +00:00
Robur
ea69e8090b add modulectomy 2021-12-06 11:28:02 +00:00