kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/devel/menhir
History
jaapb 80fedbe52e Updated devel/menhir to version 20181113. 
No major changes upstream; minor bugfixes and improvements only.
2019-03-21 12:18:56 +00:00
..
patches
buildlink3.mk Updated devel/menhir to version 20181113. 2019-03-21 12:18:56 +00:00
DESCR
distinfo Updated devel/menhir to version 20181113. 2019-03-21 12:18:56 +00:00
Makefile Updated devel/menhir to version 20181113. 2019-03-21 12:18:56 +00:00
PLIST Updated devel/menhir to version 20181113. 2019-03-21 12:18:56 +00:00