comment on the fact that the ipkg file has ben generated by Sirdi. - Githubissues

eayus / sirdi

Package manager for Idris

GNU General Public License v3.0

35 stars 11 forks source link

comment on the fact that the ipkg file has ben generated by Sirdi. #20

Closed mattpolzin closed 2 years ago