|
|
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 |
|
