1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-10-19 19:59:43 +00:00
freebsd-ports/devel/menhir
John Marino 3064db6406 devel/menhir: Upgrade version 20080912 => 20140422 and stage
PR:		191816
Submitted by:	Ports Fury
2014-07-30 22:14:02 +00:00
..
distinfo
Makefile
pkg-descr