pkgsrc/devel/menhir
2012-10-31 11:16:30 +00:00
..
patches Corrected contents of patch directory; minor modifications to build 2012-10-29 09:11:22 +00:00
DESCR
distinfo Corrected contents of patch directory; minor modifications to build 2012-10-29 09:11:22 +00:00
Makefile Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days. 2012-10-31 11:16:30 +00:00
PLIST