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)

Blog
Twitter
Status page

Why was the website so slow for so long?

The cause of the slowdown was a change to the ZFS dataset. In conjunction with the database server, very little caching was being done. This combination resulted in increased disk I/O as the system churned through the database. Details in the blog post which outlines the various things which changed. Many graphs.

non port: math/coq/files/patch-coq-camlp5-605
SVNWeb
Number of commits found: 2
Sun, 17 Feb 2013
[ 10:43 johans ] 312410 math/coq/Makefile 312410 math/coq/distinfo 312410 math/coq/files/patch-coq-camlp5-605 312410 math/coq/pkg-plist - 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>
Sun, 25 Mar 2012
[ 09:21 johans ] 1.33 math/coq/Makefile 1.14 math/coq/distinfo 1.2 math/coq/files/ide-coqide.diff 1.1 math/coq/files/patch-coq-camlp5-605 1.12 math/coq/pkg-plist - 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?
The latest upgrade!
Privacy
Blog
Contact

Search

more...

Latest Vulnerabilities

gitea	Jan 18
drm-current-kmod	Jan 15
drm-devel-kmod	Jan 15
drm-fbsd11.2-kmod	Jan 15
drm-fbsd12.0-kmod	Jan 15
mariadb101-server	Jan 15
mariadb102-server	Jan 15
mariadb103-server	Jan 15
mariadb104-server	Jan 15
mariadb55-server	Jan 15
mysql56-server	Jan 15
mysql57-server	Jan 15
mysql80-server	Jan 15
percona55-server	Jan 15
percona56-server	Jan 15

8 vulnerabilities affecting 139 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last updated:
2020-01-20 11:08:01

Ports

Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics

Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:

Port count	38452
Broken	687
Deprecated	693
Ignore	961
Forbidden	3
Restricted	152
No CDROM	72
Vulnerable	26
Expired	2
Set to expire	665
Interactive	0
new 24 hours	7
new 48 hours	8
new 7 days	48
new fortnight	87
new month	199

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