openbsd-ports/devel/frama-c
2014-04-23 14:12:28 +00:00
..
patches
pkg Enable GUI support. ok sthen@ 2014-04-23 14:12:28 +00:00
distinfo
Makefile Enable GUI support. ok sthen@ 2014-04-23 14:12:28 +00:00