pkgsrc/devel/frama-c
2019-07-21 22:23:57 +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 bump for gdk-pixbuf2-2.38.1 2019-07-21 22:23:57 +00:00
options.mk
PLIST