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