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