notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
All times are UTC
Ukraine
non port: devel/frama-c/pkg-descr
SVNWeb

Number of commits found: 4

Tue, 21 Mar 2023
[ 00:01 Muhammad Moinur Rahman (bofh) search for other commits by this committer ]    commit hash:c06842b264e47e5e5ab6fb0c2bfef95440aaa26c  commit hash:c06842b264e47e5e5ab6fb0c2bfef95440aaa26c  commit hash:c06842b264e47e5e5ab6fb0c2bfef95440aaa26c  c06842b 
devel/frama-c/: Remove expired port:

2023-03-21 devel/frama-c: Broken since 2021
Wed, 7 Sep 2022
[ 21:58 Stefan Eßer (se) search for other commits by this committer ]    commit hash:fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4  commit hash:fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4  commit hash:fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4  fb16dfe  (Only the first 10 of 27964 ports in this commit are shown above. View all ports for this commit)
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)
Wed, 7 May 2014
[ 20:47 marino search for other commits by this committer ] Original commit   Revision:353205
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.
Sun, 18 Sep 2011
[ 15:38 bf search for other commits by this committer ] Original commit 
Add frama-c , extensible platform for source-code analysis of C.

Number of commits found: 4