00:01 Muhammad Moinur Rahman (bofh) 

devel/frama-c/: Remove expired port:

2023-03-21 devel/frama-c: Broken since 2021

    c06842b

21:58 Stefan Eßer (se) 

Remove WWW entries moved into port Makefiles

Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.

This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.

Approved by:		portmgr (tcberner)

    fb16dfe

20:47 marino 

devel/frama-c: Update version Oxygen => Neon to unbreak and stage

Oxygen is from Sept 2012, and Neon is from Mar 2014.  Stage support was
added along with some minor cleanup.  A major patch from Debian was
required to support OcamlGraph 1.8.5.

It has been broken since Ocaml was updated to 4.01.
Work covered by Staging blanket.

 

15:38 bf 

Add frama-c , extensible platform for source-code analysis of C.