builder-web/opamdiff
Reynir Björnsson 8caa98644f Nomenclature: duniverse dirs vs duniverse packages
We have duniverse (simple) directories and no version information.
2022-11-07 16:38:20 +01:00
..
dune opam-switch diff 2021-04-23 09:45:35 +02:00
opamdiff.ml Nomenclature: duniverse dirs vs duniverse packages 2022-11-07 16:38:20 +01:00