FreshPorts -- devel/frama-c/files/patch-Support

As an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)Want a good monitor light? See my photosAll times are UTC

Bot filter coming soon

To deter bots pegging the database CPU to 100%, a bot testing filter to be added to the website. This should not affect newsfeeds etc. Anubis seems light-weight - it is already in use within the FreeBSD Project. This notice is just a heads up in case you see something odd. This notice will be updated after Anubis is installed.

non port: devel/frama-c/files/patch-Support_OCamlgraph185

Number of commits found: 1

Wednesday, 7 May 2014

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.

Number of commits found: 1

Login
User Login Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts? About the authors Issues FAQ How big is it? Security Policy Privacy Blog Contact

Search
Enter Keywords: more...

Latest Vulnerabilities

mod_security	Jul 08
redis	Jul 07
redis	Jul 07
redis	Jul 07
redis62	Jul 07
redis62	Jul 07
redis72	Jul 07
redis72	Jul 07
redis72	Jul 07
redis74	Jul 07
redis74	Jul 07
redis74	Jul 07
valkey	Jul 07
valkey	Jul 07
valkey	Jul 07

22 vulnerabilities affecting 277 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last processed:
2025-07-08 06:33:44 UTC

Ports
Home Categories Deleted ports Sanity Test Failures Newsfeeds

Statistics

Graphs
NEW Graphs (Javascript)

Calculated hourly:

Port count	33429
Broken	132
Deprecated	245
Ignore	249
Forbidden	0
Restricted	2
No CDROM	1
Vulnerable	30
Expired	19
Set to expire	192
Interactive	0
new 24 hours	4
new 48 hours	6
new 7 days	72
new fortnight	125
new month	259