summaryrefslogtreecommitdiffstats
path: root/system/opam/opam.info
AgeCommit message (Expand)Author
2019-11-1720191117.1 global branch merge.current-20191117.1 Matteo Bernardini
2018-11-24system/opam: Updated for version 2.0.1. Roberto Metere
2016-07-30system/opam: Added (OCaml Package Manager). Roberto Metere