search

gfngfn / satysfi-external-repo

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

Remove Satyrographos.0.0.1.3 #7

Closed na4zagin3 closed 1 year ago

na4zagin3 commented 3 years ago

This PR removes Satyrographos.0.0.1.3. This should be fine because Satyrographos.0.0.1.4 is just a bugfix release.

I would like to reduce number of OPAM repositories that host Satyrographos.

gfngfn commented 1 year ago

Oops, I have forgot to merge this PR for two years…