pkgsrc/devel/frama-c
2018-03-12 11:15:24 +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 Recursive bumps for fontconfig and libzip dependency changes. 2018-03-12 11:15:24 +00:00
options.mk Update to 20170501 (v15.x, "Phosphorus"). This reflects six major 2017-09-05 07:30:00 +00:00
PLIST Tag missed gui-only files. Ride update. 2017-09-05 07:41:35 +00:00