prlw1 603b5ccdc7 Revbump for libcanberra gstreamer change.		2018-11-29 11:21:45 +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 for libcanberra gstreamer change.	2018-11-29 11:21:45 +00:00
options.mk
PLIST	Tag missed gui-only files. Ride update.	2017-09-05 07:41:35 +00:00