| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | treewide: remove redundant rec | volth | 2019-08-28 |
| * | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 |
| * | treewide: Change URLs to HTTPS | Daniel Schaefer | 2019-04-22 |
| * | opam: 1.2.2 -> 2.0.0 (#45806) | xplat | 2018-09-06 |