- 23 Aug, 2021 2 commits
-
-
Louis Gesbert authored -
Louis Gesbert authored
-
- 27 Apr, 2021 1 commit
-
-
Louis Gesbert authored
some changes related to CLI versionning. Note that further fixes are already needed for opam-libs master.
-
- 26 Oct, 2020 1 commit
-
-
Louis Gesbert authored
-
- 22 Oct, 2020 3 commits
-
-
Louis Gesbert authored
-
Louis Gesbert authored
(required functions are now exported, and the duplication would have needed patching for small API changes anyway)
-
Louis Gesbert authored
-
- 23 Sep, 2020 3 commits
-
-
Louis Gesbert authored
-
Louis Gesbert authored
-
Louis Gesbert authored
-
- 22 Sep, 2020 1 commit
-
-
Louis Gesbert authored
-