openbsd-ports/devel/frama-c
landry 6cd8137fd8 BROKEN-powerpc + BROKEN-alpha:
Error while linking /usr/local/lib/ocaml/vmthreads/stdlib.cma
2014-09-30 19:28:26 +00:00
..
patches
pkg Enable GUI support. ok sthen@ 2014-04-23 14:12:28 +00:00
distinfo
Makefile BROKEN-powerpc + BROKEN-alpha: 2014-09-30 19:28:26 +00:00