search

gfngfn / satysfi-external-repo

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

update to OPAM2 format #4

Closed nekketsuuu closed 5 years ago