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-plist
SVNWeb

Number of commits found: 18

Sat, 31 Dec 2016
[ 23:05 hrs ] Original commit   Revision:430173
430173 math/coq/Makefile
430173 math/coq/distinfo
430173 math/coq/files/patch-Makefile.build
430173 math/coq/files/patch-Makefile.install
430173 math/coq/files/patch-configure.ml
430173 math/coq/pkg-plist
Update to 8.6.  Fix PORTEPOCH accidentally removed in the previous commit.
[ 14:32 hrs ] Original commit   Revision:430124
430124 math/coq/Makefile
430124 math/coq/distinfo
430124 math/coq/files
430124 math/coq/files/patch-Makefile.build
430124 math/coq/files/patch-configure.ml
430124 math/coq/pkg-plist
Update to 8.5.
Sat, 23 May 2015
[ 10:06 johans ] Original commit   Revision:387123
387123 math/coq/Makefile
387123 math/coq/distinfo
387123 math/coq/pkg-plist
Update Coq to 8.4pl6

PR:		200409
Submitted by:	yuri@rawbw.com
Thu, 13 Nov 2014
[ 23:24 antoine ] Original commit   Revision:372546
372546 math/GiNaC/pkg-plist
372546 math/R/pkg-plist
372546 math/abacus/pkg-plist
372546 math/abakus/pkg-plist
372546 math/add/pkg-plist
372546 math/algae/pkg-plist
372546 math/algotutor/Makefile
372546 math/algotutor/pkg-plist
372546 math/alt-ergo/pkg-plist
372546 math/ann/Makefile

(Only the first 10 of 55 ports in this commit are shown above. View all ports for this commit)
Cleanup plist
Sat, 11 Jan 2014
[ 09:31 johans ] Original commit   Revision:339411
339411 math/coq/Makefile
339411 math/coq/distinfo
339411 math/coq/pkg-plist
- Update coq to 8.4.3
- Enable stage support
- Simplify options handling
Sun, 17 Feb 2013
[ 10:43 johans ] Original commit   Revision:312410
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 ] Original commit 
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
Tue, 9 Nov 2010
[ 07:09 johans ] Original commit 
1.25 math/coq/Makefile
1.11 math/coq/distinfo
1.1 math/coq/files/ide-coqide.diff
1.11 math/coq/pkg-plist
- Update coq to 8.3
- Add a patch to fix threading issues

Submitted by:   AUGER Cedric <Cedric.Auger@lri.fr>
Mon, 16 Mar 2009
[ 09:42 johans ] Original commit 
1.10 math/coq/pkg-plist
Fix pkg-plist

Reported by:    QAT
[ 07:38 johans ] Original commit 
1.19 math/coq/Makefile
1.9 math/coq/distinfo
1.9 math/coq/pkg-plist
Update to 8.2.1
Sun, 6 Apr 2008
[ 17:40 johans ] Original commit 
1.16 math/coq/Makefile
1.8 math/coq/distinfo
1.8 math/coq/pkg-plist
- Update to 8.1pl3
- Take advantage of USE_OCAML
- Update MASTER_SITES
Mon, 30 Jul 2007
[ 07:36 johans ] Original commit 
1.15 math/coq/Makefile
1.7 math/coq/distinfo
1.7 math/coq/pkg-plist
Update to 8.1.1  (bugfix release)
Sun, 25 Mar 2007
[ 18:44 johans ] Original commit 
1.13 math/coq/Makefile
1.6 math/coq/distinfo
1.6 math/coq/pkg-plist
- Update to 8.1
- Grab maintainership
- Remove FreeBSD-specific workaround that shouldn't be needed anymore
Thu, 16 Mar 2006
[ 15:31 pav ] Original commit 
1.12 math/coq/Makefile
1.5 math/coq/distinfo
1.5 math/coq/pkg-plist
- Update to 8.0pl3

PR:             ports/93954
Submitted by:   Johan van Selst <johans@stack.nl>
Sun, 22 Jan 2006
[ 02:26 edwin ] Original commit 
1.4 math/convertall/pkg-plist
1.4 math/coq/pkg-plist
1.16 math/drgeo/pkg-plist
1.4 math/fung-calc/pkg-plist
1.8 math/galculator/pkg-plist
1.28 math/gcalctool/pkg-plist
1.2 math/gdcalc/pkg-plist
1.3 math/koctave/pkg-plist
1.39 math/octave/pkg-plist
1.2 math/p5-AI-DecisionTree/pkg-plist

(Only the first 10 of 69 ports in this commit are shown above. View all ports for this commit)
Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry

Approved by:    krion@
PR:             ports/88711 (related)
Tue, 18 Jan 2005
[ 16:44 vs ] Original commit 
1.5 math/coq/Makefile
1.3 math/coq/pkg-plist
Fix packaging

PR:             ports/75787
Submitted by:   maintainer
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: 18

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
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
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
percona57-serverJan 15

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

* - modified, not new

All vulnerabilities

Last updated:
2020-01-15 20:24:12


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 38381
Broken 688
Deprecated 694
Ignore 964
Forbidden 3
Restricted 152
No CDROM 72
Vulnerable 26
Expired 3
Set to expire 666
Interactive 0
new 24 hours 7
new 48 hours9
new 7 days42
new fortnight77
new month182

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