notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)

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/pkg-descr
SVNWeb

Number of commits found: 5

Sat, 19 Nov 2016
[ 11:39 danfe ] Original commit   Revision:426358
426358 math/coq/Makefile
426358 math/coq/pkg-descr
- Move license information from port description into LICENSE knobs
- Convert $arch-conditional BROKEN statement into BROKEN_$arch one
Thu, 19 May 2016
[ 10:44 amdmi3 ] Original commit   Revision:415499
415499 games/0verkill/pkg-descr
415499 games/HeroesOfMightAndMagic/pkg-descr
415499 games/KnightCap/pkg-descr
415499 games/adonthell/pkg-descr
415499 games/awele/pkg-descr
415499 games/balazarbrothers/pkg-descr
415499 games/barrage/pkg-descr
415499 games/bass/pkg-descr
415499 games/bastet/pkg-descr
415499 games/block/pkg-descr

(Only the first 10 of 929 ports in this commit are shown above. View all ports for this commit)
- Fix trailing whitespace in pkg-descrs, categories [g-n]*

Approved by:	portmgr blanket
Mon, 22 Dec 2014
[ 10:45 johans ] Original commit   Revision:375227
375227 math/coq/Makefile
375227 math/coq/distinfo
375227 math/coq/pkg-descr
Update to Coq 8.4pl5
Mon, 8 Nov 2004
[ 21:57 pav ] Original commit 
1.2 math/coq/Makefile
1.2 math/coq/pkg-descr
1.2 math/coq/pkg-plist
- Add optional CoqIde support (depends on lablgtk2)
- Correct PORTVERSION to match actual source version
- Cosmetics

PR:             ports/73634
Submitted by:   Rene Ladan <r.c.ladan@student.tue.nl> (maintainer)
Sat, 16 Oct 2004
[ 00:55 pav ] Original commit 
1.288 math/Makefile
1.1 math/coq/Makefile
1.1 math/coq/distinfo
1.1 math/coq/pkg-descr
1.1 math/coq/pkg-plist
Add coq, a formal proof management system: a proof done with Coq is
mechanically checked by the machine.

In particular, Coq allows:
* the definition of functions or predicates,
* to state mathematical theorems and software specifications,
* to develop interactively formal proofs of these theorems,
* to check these proofs by a small certification "kernel".

PR:             ports/72718
Submitted by:   Rene Ladan <r.c.ladan@student.tue.nl>

Number of commits found: 5

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
Enter Keywords:
 
more...

Latest Vulnerabilities
giteaJan 18
drm-current-kmodJan 15
drm-devel-kmodJan 15
drm-fbsd11.2-kmodJan 15
drm-fbsd12.0-kmodJan 15
mariadb101-serverJan 15
mariadb102-serverJan 15
mariadb103-serverJan 15
mariadb104-serverJan 15
mariadb55-serverJan 15
mysql56-serverJan 15
mysql57-serverJan 15
mysql80-serverJan 15
percona55-serverJan 15
percona56-serverJan 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 38444
Broken 688
Deprecated 693
Ignore 962
Forbidden 3
Restricted 152
No CDROM 72
Vulnerable 26
Expired 2
Set to expire 665
Interactive 0
new 24 hours 1
new 48 hours9
new 7 days47
new fortnight84
new month198

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2020 Dan Langille. All rights reserved.