Index of ftp://iso2.de.netbsd.org/pkgsrc/pkgsrc-2023Q1/pkgsrc/lang/idris

[DIR] Parent Directory

[DIR] CVS  78.00b  March 28 2023 at 18:39
[ ] DESCR  365.00b  January 20 2020
[ ] Makefile  3.42Kb  February 7 2023 at 01:40
[ ] PLIST  54.98Kb  January 27 2023 at 03:06
[ ] distinfo  963.00b  January 27 2023 at 03:06
[ ] options.mk  579.00b  January 20 2020
[DIR] patches  4.00Kb  March 28 2023 at 18:37