search

na4zagin3 / satyrographos

Package manager for SATySFi
GNU Lesser General Public License v3.0
45 stars 13 forks source link

Support Core v0.13 #69

Closed na4zagin3 closed 4 years ago

na4zagin3 commented 4 years ago

Cf. https://github.com/ocaml/opam-repository/pull/15469