pkgsrc/lang/twelf
2003-03-21 22:23:00 +00:00
..
patches
DESCR
distinfo
Makefile sml-nj renamed to smlnj. 2003-03-21 22:23:00 +00:00
MESSAGE
PLIST