FreshPorts -- math/isabelle/files/polyml-4.1.4-patch.ML

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''''''''s 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: math/isabelle/files/polyml-4.1.4-patch.ML

Number of commits found: 2

Thursday, 22 Mar 2007

11:32 miwi

- Fix crash with lang/polyml.

PR:             109958
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)

Monday, 1 May 2006

18:01 sem

- Update to 2005

PR:             ports/94671
Submitted by:   maintainer

Number of commits found: 2

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

postgresql13-client	May 08
postgresql13-server	May 08
postgresql14-client	May 08
postgresql14-server	May 08
postgresql15-client	May 08
postgresql15-server	May 08
postgresql16-client	May 08
postgresql16-server	May 08
postgresql17-client	May 08
postgresql17-server	May 08
chromium	May 07
ungoogled-chromium	May 07
chromium	May 06
ungoogled-chromium	May 06
libspf2^*	May 04

9 vulnerabilities affecting 163 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last processed:
2025-05-08 20:04:08 UTC

Ports
Home Categories Deleted ports Sanity Test Failures Newsfeeds

Statistics

Graphs
NEW Graphs (Javascript)

Calculated hourly:

Port count	33287
Broken	121
Deprecated	300
Ignore	237
Forbidden	1
Restricted	2
No CDROM	1
Vulnerable	34
Expired	35
Set to expire	245
Interactive	0
new 24 hours	9
new 48 hours	10
new 7 days	54
new fortnight	75
new month	117