Commits · 88c57260ad1145a56d1cb69d32364d996cbd076b · Louis Gesbert / opam-custom-install

22 Oct, 2020 1 commit
- Fix removed package not being properly registered · 88c57260
  Louis Gesbert authored Oct 22, 2020
  
  88c57260
23 Sep, 2020 3 commits
- Fix `pin-depends` to use https rather than ssh · 290261ca
  Louis Gesbert authored Sep 23, 2020
  
  290261ca
- Add README, LICENSE · c38b8ae4
  Louis Gesbert authored Sep 23, 2020
  
  c38b8ae4
- Add pin-depends for the recent-enough unreleased opam-repository · 0e7b9958
  Louis Gesbert authored Sep 23, 2020
  
  0e7b9958
22 Sep, 2020 1 commit
- Initial commit · b8bc83fc
  Louis Gesbert authored Sep 22, 2020
  
  b8bc83fc