kpriv
/
pkgsrc
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
pkgsrc/lang/idris2
History
…
..
patches
…
DESCR
…
Makefile
…
PLIST
…
distinfo
…