leot 7f7915487e *: (belatedly) revbump for net/libsoup update ... Thanks to <wiz>!		2018-10-24 21:11: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	*: (belatedly) revbump for net/libsoup update	2018-10-24 21:11:45 +00:00
options.mk
PLIST