notbugAs 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		 Ukraine

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-Makefile

Number of commits found: 3

Tuesday, 21 Mar 2023
00:01 Muhammad Moinur Rahman (bofh) search for other commits by this committer 
devel/frama-c/: Remove expired port:

2023-03-21 devel/frama-c: Broken since 2021
commit hash: c06842b264e47e5e5ab6fb0c2bfef95440aaa26c commit hash: c06842b264e47e5e5ab6fb0c2bfef95440aaa26c commit hash: c06842b264e47e5e5ab6fb0c2bfef95440aaa26c commit hash: c06842b264e47e5e5ab6fb0c2bfef95440aaa26c c06842b
Monday, 17 Jun 2019
07:33 danfe search for other commits by this committer 
- Update to the next version (v15.x Phosphorus) which builds against
  both current and newish versions of OCaml
- Disable E-ACSL plugin for now which fails to build bundled jemalloc
- Drop useless DIST_SUBDIR, the distfile name is unique enough
Original commitRevision:504397 
Saturday, 4 Mar 2017
04:19 mmokhi search for other commits by this committer 
devel/frama-c: Update to the last release (Silicon-20161101).

Reviewed by:	feld, mat
Approved by:	feld, mat (mentors)
Differential Revision:	https://reviews.freebsd.org/D9790
Original commitRevision:435383 

Number of commits found: 3
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
gnutlsJul 14
liboqsJul 14
libxml2Jul 12
libxsltJul 12
linux-c7-libxml2Jul 12
linux-c7-libxsltJul 12
linux-rl9-libxml2Jul 12
linux-rl9-libxsltJul 12
apache24Jul 11
gitlabJul 10
tomcat101Jul 10
tomcat110Jul 10
tomcat9Jul 10
gitJul 08
git-cvsJul 08

29 vulnerabilities affecting 403 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last processed:
2025-07-14 18:48:40 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 33446
Broken 130
Deprecated 234
Ignore 247
Forbidden 0
Restricted 2
No CDROM 1
Vulnerable 41
Expired 19
Set to expire 181
Interactive 0
new 24 hours 1
new 48 hours8
new 7 days23
new fortnight100
new month229
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2025 Dan Langille. All rights reserved.