markd f07374a97b frama-c: allow coq 8.7		2017-12-19 08:17:21 +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 textproc/icu update	2017-11-30 16:45:00 +00:00
options.mk
PLIST	Tag missed gui-only files. Ride update.	2017-09-05 07:41:35 +00:00