search

eayus / sirdi

Package manager for Idris
GNU General Public License v3.0
35 stars 11 forks source link

Add PREFIX option for Makefile #29

Closed ghost closed 2 years ago

ghost commented 2 years ago

Fix #21