ryoon b9c1e1d533 Recursive revbump from textproc/icu-62.1		2018-07-20 03:33:47 +00:00
..
patches	frama-c: allow coq 8.7	2017-12-19 08:17:21 +00:00
DESCR
distinfo	frama-c: allow coq 8.7	2017-12-19 08:17:21 +00:00
Makefile	Recursive revbump from textproc/icu-62.1	2018-07-20 03:33:47 +00:00
options.mk
PLIST