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

Hardware failure

The website is running on the old server. The new server stopped working at about 0200 UTC on 2020-08-22. The database was restored from 2020-08-21 00:59:15+00 UTC. We think we have covered all commits. Nothing should be missing. Any changes you made to your accounts after the restore date will be lost. Sorry about that.
non port: math/alt-ergo/Makefile
SVNWeb

Number of commits found XX: 15

Mon, 18 May 2020
[ 00:58 linimon ] Original commit   Revision:535698
535698 math/alt-ergo/Makefile
Mark as BROKEN on powerpc64:

  /tmp/camlasm2822e8.s: Assembler messages:
  /tmp/camlasm2822e8.s:10348: Error: operand out of range (0x000000000000804c is
not between 0xffffffffffff8000 and 0x0000000000007ffc)
  /tmp/camlasm2822e8.s:32988: Error: operand out of range (0x000000000000805c is
not between 0xffffffffffff8000 and 0x0000000000007ffc)
Mon, 27 Jun 2016
[ 21:30 rene ] Original commit   Revision:417685
417685 archivers/lzma/Makefile
417685 archivers/paq/Makefile
417685 archivers/ppmd-7z/Makefile
417685 devel/abi-compliance-checker/Makefile
417685 devel/api-sanity-autotest/Makefile
417685 devel/checkheaders/Makefile
417685 devel/distorm/Makefile
417685 devel/ftnchek/Makefile
417685 devel/libdisasm/Makefile
417685 devel/omake/Makefile

(Only the first 10 of 94 ports in this commit are shown above. View all ports for this commit)
Reset ports maintained by bf@ until he has time again to work on them.

PR:		210474
Submitted by:	jbeich
With hat:	portmgr-secretary
Fri, 1 Apr 2016
[ 14:16 mat ] Original commit   Revision:412348
412348 mail/addresses-goodies/Makefile
412348 mail/alpine/Makefile
412348 mail/anubis/Makefile
412348 mail/archiveopteryx-devel/Makefile
412348 mail/archiveopteryx/Makefile
412348 mail/assp/Makefile
412348 mail/automx/Makefile
412348 mail/avenger/Makefile
412348 mail/balsa/Makefile
412348 mail/batv-milter/Makefile

(Only the first 10 of 2612 ports in this commit are shown above. View all ports for this commit)
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight
Mon, 4 May 2015
[ 15:46 madpilot ] Original commit   Revision:385413
385413 Mk/bsd.ocaml.mk
385413 astro/planets/Makefile
385413 databases/ocaml-mysql/Makefile
385413 deskutils/wyrd/Makefile
385413 devel/coccinelle/Makefile
385413 devel/frama-c/Makefile
385413 devel/monotone-viz/Makefile
385413 devel/ocaml-camomile/Makefile
385413 devel/ocaml-deriving-ocsigen/Makefile
385413 devel/ocaml-extlib/Makefile

(Only the first 10 of 35 ports in this commit are shown above. View all ports for this commit)
- Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which add
  depends on the camlp4 language and labltk ocaml modules, which are
  now in separate ports.
- Update x11-toolkits/ocaml-lablgtk2 to 2.18.3
- Update graphics/ocaml-lablgl to 1.05
- Make unison ports use USE_OCAML
- Convert ports to the new flags where needed
- Bump PORTREVISION on ports depending on ocaml-lablgtk2, those need to be
rebuilt

PR:			199845
Submitted by:		jbeich@
Differential Revision:	https://reviews.freebsd.org/D2434
Approved by:		portmgr (mat)
Sun, 7 Dec 2014
[ 00:07 antoine ] Original commit   Revision:374163
374163 devel/ocaml-equeue/Makefile
374163 graphics/ampasACES-container/Makefile
374163 graphics/ampasCTL/Makefile
374163 mail/hashcash/Makefile
374163 math/alt-ergo/Makefile
374163 math/givaro/Makefile
374163 math/mtl/Makefile
374163 ports-mgmt/jailaudit/Makefile
374163 ports-mgmt/pkgcompare/Makefile
374163 science/py-pyaixi/Makefile

(Only the first 10 of 13 ports in this commit are shown above. View all ports for this commit)
Canonicalize a few licenses
Wed, 10 Sep 2014
[ 20:50 gerald ] Original commit   Revision:367888
367888 accessibility/accerciser/Makefile
367888 accessibility/jovie/Makefile
367888 accessibility/kaccessible/Makefile
367888 accessibility/kdeaccessibility4/Makefile
367888 accessibility/kmag/Makefile
367888 accessibility/kmousetool/Makefile
367888 accessibility/kmouth/Makefile
367888 accessibility/orca/Makefile
367888 arabic/kde4-l10n/Makefile
367888 arabic/libreoffice/Makefile

(Only the first 10 of 3171 ports in this commit are shown above. View all ports for this commit)
Update the default version of GCC in the Ports Collection from GCC 4.7.4
to GCC 4.8.3.

Part II, Bump PORTREVISIONs.

PR:		192025
Tested by:	antoine (-exp runs)
Approved by:	portmgr (implicit)
Wed, 25 Jun 2014
[ 05:35 bapt ] Original commit   Revision:359185
359185 audio/libcanberra-gtk3/Makefile
359185 audio/liquidsoap/Makefile
359185 cad/freehdl/Makefile
359185 databases/libgda5-ui/Makefile
359185 databases/libgda5/Makefile
359185 databases/pgpool-II/Makefile
359185 databases/postgresql91-docs/Makefile
359185 devel/aros-sdk/Makefile
359185 devel/avr-libc/Makefile
359185 devel/hadoop/Makefile

(Only the first 10 of 304 ports in this commit are shown above. View all ports for this commit)
Convert GMAKE to MAKE_CMD
Please note that lots of invocation of MAKE_CMD here are wrong as they do not
properly respect MAKE_ENV and friends

With hat:	portmgr
Mon, 2 Jun 2014
[ 23:51 marino ] Original commit   Revision:356261
356261 math/alt-ergo/Makefile
356261 math/alt-ergo/distinfo
356261 math/alt-ergo/pkg-plist
math/alt-ergo: Update version 0.94 => 0.95.2 and support stage
Mon, 26 May 2014
[ 12:28 miwi ] Original commit   Revision:355316
355316 math/alt-ergo/Makefile
355316 math/ann/Makefile
355316 math/arpack++/Makefile
355316 math/blitz++/Makefile
355316 math/eukleides/Makefile
355316 math/fricas/Makefile
355316 math/fxt/Makefile
355316 math/gotoblas/Makefile
355316 math/gracetmpl/Makefile
355316 math/gri/Makefile

(Only the first 10 of 23 ports in this commit are shown above. View all ports for this commit)
- Convert gmake,bzip2 to USES

Approved by:	portmgr
Fri, 20 Sep 2013
[ 20:55 bapt ] Original commit   Revision:327746
327746 math/GiNaC/Makefile
327746 math/PDL/Makefile
327746 math/R-cran-ChangeAnomalyDetection/Makefile
327746 math/R-cran-Formula/Makefile
327746 math/R-cran-KFAS/Makefile
327746 math/R-cran-LearnBayes/Makefile
327746 math/R-cran-MCMCpack/Makefile
327746 math/R-cran-RHmm/Makefile
327746 math/R-cran-RSvgDevice/Makefile
327746 math/R-cran-RcppArmadillo/Makefile

(Only the first 10 of 665 ports in this commit are shown above. View all ports for this commit)
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
Mon, 18 Mar 2013
[ 16:11 bf ] Original commit   Revision:314582
314582 graphics/epstool/Makefile
314582 math/alt-ergo/Makefile
314582 math/alt-ergo/pkg-descr
314582 math/fftw3/Makefile
314582 math/fftw3/pkg-descr
314582 print/gsview/Makefile
update master sites; trim headers; reposition LICENSE, WWW
Thu, 7 Mar 2013
[ 03:46 bf ] Original commit   Revision:313560
313560 math/alt-ergo/Makefile
switch to the new options format
Tue, 5 Mar 2013
[ 20:22 bf ] Original commit   Revision:313476
313476 devel/frama-c/Makefile
313476 devel/monotone-viz/Makefile
313476 devel/ocaml-ulex/Makefile
313476 games/freetennis/Makefile
313476 lang/opa/Makefile
313476 math/alt-ergo/Makefile
313476 math/coq/Makefile
313476 math/ocaml-ocamlgraph/Makefile
313476 net-p2p/mldonkey-core/Makefile
313476 net-p2p/mldonkey-gui/Makefile

(Only the first 10 of 19 ports in this commit are shown above. View all ports for this commit)
update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjust
dependent ports

PR:		144982, 149958
Reviewed by:	johans (earlier version of the patch)
Fri, 1 Jun 2012
[ 05:26 dinoex ] Original commit 
1.59 Mk/bsd.gecko.mk
1.1246 UPDATING
1.18 accessibility/accerciser/Makefile
1.12 accessibility/at-poke/Makefile
1.77 accessibility/at-spi/Makefile
1.5 accessibility/at-spi2-atk/Makefile
1.54 accessibility/dasher/Makefile
1.60 accessibility/gnome-mag/Makefile
1.45 accessibility/gnopernicus/Makefile
1.51 accessibility/gok/Makefile

(Only the first 10 of 4371 ports in this commit are shown above. View all ports for this commit)
- update png to 1.5.10
Wed, 21 Dec 2011
[ 02:58 bf ] Original commit 
1.746 math/Makefile
1.1 math/alt-ergo/Makefile
1.1 math/alt-ergo/distinfo
1.1 math/alt-ergo/pkg-descr
1.1 math/alt-ergo/pkg-plist
Add alt-ergo 0.94, an automatic theorem prover dedicated to program
verification.

Number of commits found XX: 15

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
freetype2Oct 22
chromiumOct 21
mysql56-serverOct 21
mysql57-serverOct 21
mysql80-serverOct 21
mariadb103-clientOct 18
mariadb103-serverOct 18
mariadb104-clientOct 18
mariadb104-serverOct 18
mariadb105-clientOct 18
mariadb105-serverOct 18
drupal7Oct 17
py-matrix-synapseOct 17
powerdns-recursorOct 14
linux-flashplayerOct 13

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

* - modified, not new

All vulnerabilities

Last updated:
2020-10-22 09:39:08


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 41220
Broken 57
Deprecated 272
Ignore 296
Forbidden 4
Restricted 146
No CDROM 73
Vulnerable 20
Expired 16
Set to expire 243
Interactive 0
new 24 hours 5
new 48 hours10
new 7 days86
new fortnight111
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.