Read package flags from OPAM metadata#328
Merged
Leonidas-from-XIV merged 5 commits intotarides:mainfrom Leonidas-from-XIV:base-packages-from-metadataNov 28, 2022
+85-39
Commits
Commits on Nov 25, 2022
- committed
- committed
- committed
- committed
- committed
