search

na4zagin3 / satyrographos

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

Fix dependencies #294

Closed na4zagin3 closed 2 years ago

na4zagin3 commented 2 years ago

Apply https://github.com/ocaml/opam-repository/pull/20220