search

na4zagin3 / satyrographos

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

Update for core v0.13. #70

Closed xclerc closed 4 years ago

xclerc commented 4 years ago

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

na4zagin3 commented 4 years ago

@xclerc Thank you!!