pkgsrc/lang/maude
2010-03-24 19:43:21 +00:00
..
patches
DESCR
distinfo
Makefile Recursive revision bump for GMP update. 2010-03-24 19:43:21 +00:00
MESSAGE
PLIST Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00