adam 16dd5de231 revbump after updating textproc/icu		2018-12-09 18:51:58 +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	revbump after updating textproc/icu	2018-12-09 18:51:58 +00:00
options.mk
PLIST