search

gfngfn / satysfi-external-repo

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

Add `otfed.0.3.0` #13

Closed gfngfn closed 11 months ago

gfngfn commented 11 months ago

Related: https://github.com/gfngfn/otfed/pull/58