CVSROOT: /cvs Module name: ports Changes by: [email protected] 2019/09/07 11:11:53
Modified files:
devel/frama-c : Makefile distinfo
devel/frama-c/patches: patch-Makefile patch-configure_in
devel/frama-c/pkg: PFRAG.dynlink-native PFRAG.native PLIST
Log message:
Update to 19.0, which supports OCaml 4.08.
OK (ports-wise) jca@
