FreshPorts -- math/coq/files/patch-coq-camlp5-605

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: math/coq/files/patch-coq-camlp5-605

Number of commits found: 2

Sunday, 17 Feb 2013

10:43 johans

- Update coq to 8.4 pl1 [1]
  http://coq.inria.fr/coq-84
- Remove local patch that is now included upstream
- Add ocaml-findlib as build dependency

PR:             ports/176056
Submitted by:   Jaap Boender <jaapb@kerguelen.org>

Sunday, 25 Mar 2012

09:21 johans

- Update coq to 8.3.3
- Fix build with new camlp5 (patch from official repo)
- Remove BROKEN tag

Feature safe:   yes

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

libxml2	Jul 12
libxslt	Jul 12
linux-c7-libxml2	Jul 12
linux-c7-libxslt	Jul 12
linux-rl9-libxml2	Jul 12
linux-rl9-libxslt	Jul 12
apache24	Jul 11
gitlab	Jul 10
tomcat101	Jul 10
tomcat110	Jul 10
tomcat9	Jul 10
git	Jul 08
git-cvs	Jul 08
git-gui	Jul 08
git-p4	Jul 08

27 vulnerabilities affecting 386 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last processed:
2025-07-12 09:42:47 UTC

Ports
Home Categories Deleted ports Sanity Test Failures Newsfeeds

Statistics

Graphs
NEW Graphs (Javascript)

Calculated hourly:

Port count	33441
Broken	133
Deprecated	236
Ignore	250
Forbidden	0
Restricted	2
No CDROM	1
Vulnerable	40
Expired	19
Set to expire	183
Interactive	0
new 24 hours	1
new 48 hours	5
new 7 days	22
new fortnight	123
new month	232