wiz e5209a786e Add p11-kit to gnutls/bl3.mk and bump dependencies.		2018-04-17 22:29:31 +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	Add p11-kit to gnutls/bl3.mk and bump dependencies.	2018-04-17 22:29:31 +00:00
options.mk
PLIST	Tag missed gui-only files. Ride update.	2017-09-05 07:41:35 +00:00