search

gfngfn / satysfi-external-repo

Custom OPAM repository for external libraries of SATySFi
4 stars 4 forks source link

add satyrographos.0.0.1.3 #6

Closed na4zagin3 closed 5 years ago

na4zagin3 commented 5 years ago

This PR adds Satyrographos v0.0.1.3.

Satyrographos provides basic package management where a package of a satysfi library is treated as an opam package. It does copy files under $(opam config var share)/satysfi/<package> to ~/.satysfi/dist (a default value; the destination is configurable), composing hash files.

See https://github.com/na4zagin3/satyrographos for details.

gfngfn commented 5 years ago

I checked that the opam file of Satyrographos passes opam lint and merged the PR.

na4zagin3 commented 5 years ago

Thank you!