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/proofgeneral/pkg-plist
SVNWeb

Number of commits found: 17

Fri, 14 Nov 2014
[ 09:39 antoine ] Original commit   Revision:372555
372555 lang/x10/pkg-plist
372555 math/pari/pkg-plist
372555 math/parmgridgen/pkg-plist
372555 math/pdal/pkg-plist
372555 math/pecl-big_int/pkg-plist
372555 math/physcalc/pkg-plist
372555 math/plman/pkg-plist
372555 math/ploticus/pkg-plist
372555 math/plplot/pkg-plist
372555 math/proofgeneral/pkg-plist

(Only the first 10 of 65 ports in this commit are shown above. View all ports for this commit)
Cleanup plist
Wed, 16 Jul 2014
[ 16:53 danilo ] Original commit   Revision:362086
362086 math/proofgeneral/Makefile
362086 math/proofgeneral/pkg-plist
- Add stage support
- Use ${PORT_OPTIONS:MDOCS} instead of !defined(NOPORTDOCS)
- Uses shebangfix

PR:		ports/191503
Submitted by:	Timothy Beyer <beyert@cs.ucr.edu>
Fri, 9 May 2014
[ 21:13 amdmi3 ] Original commit   Revision:353520
353520 audio/liboggz/pkg-plist
353520 comms/gnuradio/pkg-plist.dirs
353520 comms/trustedqsl/pkg-plist
353520 databases/libdrizzle/pkg-plist
353520 databases/spatialite/pkg-plist
353520 databases/tokyotyrant/pkg-plist
353520 devel/dbus-sharp-glib/pkg-plist
353520 editors/xmlcopyeditor/pkg-plist
353520 graphics/GraphicsMagick12/pkg-plist
353520 graphics/iccexamin/pkg-plist

(Only the first 10 of 20 ports in this commit are shown above. View all ports for this commit)
- Don't remove mtree directories

Approved by:	portmgr
Tue, 22 Oct 2013
[ 13:56 amdmi3 ] Original commit   Revision:331270
331270 mail/balsa/pkg-plist
331270 mail/claws-mail/pkg-plist
331270 mail/davmail/Makefile
331270 mail/davmail/pkg-plist
331270 mail/evolution/pkg-plist
331270 mail/gnome-gmail-notifier/pkg-plist
331270 mail/gnubiff/pkg-plist
331270 mail/linux-thunderbird/pkg-plist
331270 mail/mail-notification/pkg-plist
331270 mail/sylpheed/Makefile

(Only the first 10 of 97 ports in this commit are shown above. View all ports for this commit)
- Remove manual creation and removal of share/applications, as it's now in the
mtree (categories starting with m)

Approved by:	portmgr (bdrewery)
Mon, 15 Apr 2013
[ 18:55 bdrewery ] Original commit   Revision:315806
315806 math/proofgeneral/Makefile
315806 math/proofgeneral/pkg-plist
- Don't delete gnomehier directories

Approved by:	portmgr (implicit)
Pointyhat to:	bdrewery (for breaking poudriere deleted dir detection leading to
the previous commit)
Sun, 31 Mar 2013
[ 12:58 bdrewery ] Original commit   Revision:315633
315633 math/proofgeneral/Makefile
315633 math/proofgeneral/pkg-plist
- Fix packaging by removing unneeded PACKAGE_BUILDING hack
  from r295132 for ports/166867 that the maintainer did
  not actually submit

Approved by:	portmgr
With hat:	portmgr
Thu, 19 Apr 2012
[ 22:38 scheidell ] Original commit 
1.28 math/proofgeneral/Makefile
1.9 math/proofgeneral/distinfo
1.8 math/proofgeneral/files/patch-Makefile
1.4 math/proofgeneral/files/patch-doc-Makefile.doc
1.3 math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop
1.2 math/proofgeneral/files/patch-isar-interface
1.11 math/proofgeneral/pkg-plist
- Update to 4.1
- Fix build on amd64
- XEmacs is no longer supported by proofgeneral developers, so only GNU Emacs
may be used
- Omit pdf compilation since a newer version of latex then is in ports is needed
- Use PORTDOCS= macros to simplefy Makefile and pkg-plist

PR:             ports/166867
Submitted by:   Timothy Beyer <beyert@cs.ucr.edu> (maintainer0
Fri, 15 Aug 2008
[ 01:03 edwin ] Original commit 
1.21 math/proofgeneral/Makefile
1.7 math/proofgeneral/distinfo
1.7 math/proofgeneral/files/patch-Makefile
1.1 math/proofgeneral/files/patch-isar-interface
1.10 math/proofgeneral/pkg-plist
[MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1

PR:             ports/126066
Submitted by:   Timothy Bourke <timbob@bigpond.com>
Fri, 4 Apr 2008
[ 12:13 rafan ] Original commit 
1.19 math/proofgeneral/Makefile
1.6 math/proofgeneral/distinfo
1.6 math/proofgeneral/files/patch-Makefile
1.3 math/proofgeneral/files/patch-doc-Makefile.doc
1.3 math/proofgeneral/files/patch-isa_isabelle-system.el
1.2 math/proofgeneral/files/pkg-message.in
1.9 math/proofgeneral/pkg-plist
- Update to 3.7

PR:             ports/120987
Submitted by:   Timothy Bourke <timbob at bigpond.com> (maintainer)
Wed, 24 Oct 2007
[ 23:37 marcus ] Original commit 
1.144 Mk/bsd.gnome.mk
1.562 UPDATING
1.17 accessibility/Makefile
1.1 accessibility/accerciser/Makefile
1.1 accessibility/accerciser/distinfo
1.1 accessibility/accerciser/pkg-descr
1.1 accessibility/accerciser/pkg-plist
1.3 accessibility/at-poke/Makefile
1.2 accessibility/at-poke/pkg-plist
1.61 accessibility/at-spi/Makefile

(Only the first 10 of 1479 ports in this commit are shown above. View all ports for this commit)
Presenting GNOME 2.20.1 and all related works for FreeBSD.  The official
GNOME 2.20 release notes can be found at
http://www.gnome.org/start/2.20/notes/en/ .  Beyond that, this update
includes the new GIMP 2.4 (courtesy of ahze).

The GNOME 2.20 update also includes a huge change in the FreeBSD GNOME
hierarchy.  We are now using the more standard DATADIR of ${PREFIX}/share
rather than ${PREFIX}/share/gnome. The result is that fewer patches and
hacks are needed to port GNOME components to FreeBSD.  This will mean some
user changes may be required, so be sure to read /usr/ports/UPDATING for
more details.

This release and the things we accomplished in it would not have been
possible without mezz's crazy idea to collapse DATADIR, and his persistence
to make it happen successfully.  Ahze and pav also deserve thanks for
(Only the first 15 lines of the commit message are shown above View all of this commit message)
Tue, 6 Feb 2007
[ 22:55 anray ] Original commit 
1.11 math/proofgeneral/Makefile
1.5 math/proofgeneral/distinfo
1.3 math/proofgeneral/files/patch-Makefile
1.7 math/proofgeneral/pkg-plist
* Remove the direct inclusion of bsd.emacs.mk
* Use the misc/gnomehier and misc/hicolor-icon/theme ports
* Use the latest proofgeneral prerelease

PR:             ports/107414
Submitted by:   Timothy Bourke(maintainer)
Sat, 11 Nov 2006
[ 19:15 anray ] Original commit 
1.8 math/proofgeneral/Makefile
1.4 math/proofgeneral/distinfo
1.6 math/proofgeneral/pkg-plist
Fix plist and unbroken port.

PR:             ports/105383
Reported by:    pointyhat
Submitted by:   Timothy Bourke (maintainer)
Tue, 16 May 2006
[ 12:03 sem ] Original commit 
1.5 math/proofgeneral/pkg-plist
- Remove EMACS_SITE_LISTDIR if empty to satisfy pointyhat

Submitted by:   maintainer
Reported by:    kris mail
Mon, 1 May 2006
[ 18:00 sem ] Original commit 
1.4 math/proofgeneral/Makefile
1.3 math/proofgeneral/distinfo
1.2 math/proofgeneral/files/patch-Makefile
1.2 math/proofgeneral/files/patch-doc-Makefile
1.2 math/proofgeneral/files/patch-doc-Makefile.doc
1.2 math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop
1.2 math/proofgeneral/files/patch-generic-proof-menu.el
1.2 math/proofgeneral/files/patch-isa_isabelle-system.el
1.4 math/proofgeneral/pkg-plist
- Update to 3.6

PR:             ports/94670
Submitted by:   maintainer
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)
Thu, 15 Sep 2005
[ 23:34 barner ] Original commit 
1.2 math/proofgeneral/pkg-plist
Fix plist.

Reported by:    kris via pointhat
Pointy hat to:  me for not being more thorough
Wed, 31 Aug 2005
[ 10:36 barner ] Original commit 
1.340 math/Makefile
1.1 math/proofgeneral/Makefile
1.1 math/proofgeneral/distinfo
1.1 math/proofgeneral/files/patch-Makefile
1.1 math/proofgeneral/files/patch-doc-Makefile
1.1 math/proofgeneral/files/patch-doc-Makefile.doc
1.1 math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop
1.1 math/proofgeneral/files/patch-generic-proof-menu.el
1.1 math/proofgeneral/files/pkg-message.in
1.1 math/proofgeneral/pkg-descr

(Only the first 10 of 11 ports in this commit are shown above. View all ports for this commit)
Add proofgeneral 3.5, a generic interface for proof assistants.

PR:             84788
Submitted by:   Timothy Bourke <timbob@bigpond.com>

Number of commits found: 17

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
gnutlsMar 31
postgresql10-serverMar 29
postgresql11-serverMar 29
postgresql12-serverMar 29
postgresql96-serverMar 29
gitlab-ceMar 26
rubygem-jsonMar 26
jenkinsMar 25
jenkins-ltsMar 25
phpmyadminMar 25
phpmyadmin5Mar 25
puppet6Mar 23
puppetdb5Mar 23
puppetdb6Mar 23
puppetserver5Mar 23

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

* - modified, not new

All vulnerabilities

Last updated:
2020-03-31 16:53:36


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 38971
Broken 593
Deprecated 528
Ignore 864
Forbidden 5
Restricted 150
No CDROM 72
Vulnerable 23
Expired 3
Set to expire 502
Interactive 0
new 24 hours 10
new 48 hours19
new 7 days64
new fortnight91
new month161

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