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

/commits.php is going away

I'm proposing to take /commits.php away - it mainly duplicates the home page. Details in this GitHub issue.
Port details
isabelle Generic proof assistant
2009.2 math Deleted on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2009.2Version of this port present on the latest quarterly branch.
Broken BROKEN: Build seems to hang on the package builders
Deprecated DEPRECATED: Broken for more than 6 months
Expired This port expired on: 2015-02-28
Ignore IGNORE: is marked as broken: Build seems to hang on the package builders
There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2005-09-01 10:04:40
Last Update: 2015-03-01 21:24:41
SVN Revision: 380228
License: BSD3CLAUSE
Description:
SVNWeb : git : Homepage
pkg-plist: as obtained via: make generate-plist
There is no configure plist information for this port.
Dependency lines:
  • isabelle>0:math/isabelle
No installation instructions: this port has been deleted.
The package name of this deleted port was: isabelle
PKGNAME: isabelle
Flavors: there is no flavor information for this port.
distinfo:
There is no distinfo for this port.
No package information for this port in our database

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. bash : shells/bash
  2. smlnj>=110.71 : lang/smlnj
  3. perl5.18.4 : lang/perl5.18
Runtime dependencies:
  1. bash : shells/bash
  2. rlwrap : devel/rlwrap
  3. perl5.18.4 : lang/perl5.18
There are no ports dependent upon this port

Configuration Options:
Options name:

USES:

Master Sites:
Expand this list (4 items)
Collapse this list.
  1. http://distcache.FreeBSD.org/ports-distfiles/
  2. http://isabelle.in.tum.de/dist/
  3. http://mirror.cse.unsw.edu.au/pub/isabelle/dist/
  4. http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
Collapse this list.
Port Moves
  • port deleted on 2015-03-01
    REASON: Has expired: Broken for more than 6 months

Number of commits found: 31

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
01 Mar 2015 21:24:41
Original commit files touched by this commit Revision:380228  2009.2
rene search for other commits by this committer
Remove expired port:
2015-02-28 math/isabelle: Broken for more than 6 months
20 Feb 2015 15:42:45
Original commit files touched by this commit Revision:379437  2009.2
arved search for other commits by this committer
Drop Maintainership

PR:		197402
Submitted by:	Timothy Beyer
29 Jan 2015 18:07:03
Original commit files touched by this commit Revision:378127  2009.2
antoine search for other commits by this committer
Deprecate ports broken for more than 6 months
09 Dec 2014 13:20:46
Original commit files touched by this commit Revision:374377  2009.2
bapt search for other commits by this committer
cleanup plist
07 Dec 2014 16:31:51
Original commit files touched by this commit Revision:374217  2009.2
feld search for other commits by this committer
Update "BSD" license in math category
18 Aug 2014 19:13:18
Original commit files touched by this commit Revision:365343  2009.2
antoine search for other commits by this committer
Convert most NO_INSTALL_MANPAGES to USES=imake:noman

With hat:	portmgr
31 Jul 2014 19:35:57
Original commit files touched by this commit Revision:363673  2009.2
antoine search for other commits by this committer
Mark BROKEN: Build seems to hang on the package builders

With hat:	portmgr
30 Jul 2014 20:25:51
Original commit files touched by this commit Revision:363513  2009.2
antoine search for other commits by this committer
Attempt to unbreak INDEX
No idea if this builds (it didn't)

With hat:	portmgr
23 Jul 2014 17:30:45
Original commit files touched by this commit Revision:362717  2009.2
bapt search for other commits by this committer
Reset maintainership for ports not staged with no pending PR

With hat:	portmgr
20 Sep 2013 20:55:06
Original commit files touched by this commit Revision:327746  2009.2
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
16 Sep 2013 16:45:35
Original commit files touched by this commit Revision:327414  2009.2
bapt search for other commits by this committer
Convert to new perl framework
Convert USE_GMAKE to USES
05 Jun 2013 14:12:59
Original commit files touched by this commit Revision:319994  2009.2
bapt search for other commits by this committer
Push the DOCS test into the right section
05 Jun 2013 14:11:20
Refresh Original commit files touched by this commit Revision:319993  Sanity Test Failure
bapt search for other commits by this committer
Convert to new options framework
30 Oct 2010 18:34:26
Original commit files touched by this commit   2009.2
makc search for other commits by this committer
Update to 2009.2

PR:             ports/149736
Submitted by:   Timothy Beyer (maintainer)
27 Oct 2010 21:39:01
Original commit files touched by this commit   2009_2
pav search for other commits by this committer
- Mark BROKEN: bad plist

Reported by:    pointyhat
28 Mar 2010 06:47:48
Original commit files touched by this commit   2009_2
dinoex search for other commits by this committer
- update to 1.4.1
Reviewed by:    exp8 run on pointyhat
Supported by:   miwi
26 Feb 2010 09:30:28
Original commit files touched by this commit   2009_1
miwi search for other commits by this committer
- Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)

PR:             143994 143995 143996
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
Feature safe:   yes
05 Feb 2010 11:46:55
Original commit files touched by this commit   2009_1
dinoex search for other commits by this committer
- update to jpeg-8
29 Oct 2009 22:23:28
Original commit files touched by this commit   2009
miwi search for other commits by this committer
- Update to 2009

PR:             139737
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
15 Aug 2008 04:33:05
Original commit files touched by this commit   2008
edwin search for other commits by this committer
[MAINTAINER] math/isabelle: update from 2007 to 2008

        Updates the port to the latest Isabelle release. It does
        not seem worth the effort to continually patch the bash
        script files to make them work under sh, hence the large
        number of removed files.

PR:             ports/126067
Submitted by:   Timothy Bourke <timbob@bigpond.com>
06 Jun 2008 13:44:06
Original commit files touched by this commit   2007_1
edwin search for other commits by this committer
Bump portrevision due to upgrade of devel/gettext.

The affected ports are the ones with gettext as a run-dependency
according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT
in Makefile (29 of them).

PR:             ports/124340
Submitted by:   edwin@
Approved by:    portmgr (pav)
04 Apr 2008 12:15:22
Original commit files touched by this commit   2007
rafan search for other commits by this committer
- Update to 2007

PR:             ports/121000
Submitted by:   Timothy Bourke <timbob at bigpond.com> (maintainer)
29 Sep 2007 20:58:03
Original commit files touched by this commit   2005_2
linimon search for other commits by this committer
Move the USE_PERL definitions, and others, before pre.mk inclusion.  This
will be needed to conditionalize bsd.perl.mk inclusion.

Approved by:    maintainer
10 Sep 2007 12:11:10
Original commit files touched by this commit   2005_2
edwin search for other commits by this committer
Update port: math/isabelle

        Update to Isabelle port:
        * Works with updated sml-nj-devel port.
        * Does not require bash
        Thanks to Johannes 5 Joemann for helpful comments/patches.

PR:             ports/116046
Submitted by:   Timothy Bourke <timbob@bigpond.com>
19 May 2007 20:32:57
Original commit files touched by this commit   2005_1
flz search for other commits by this committer
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
22 Mar 2007 11:32:00
Original commit files touched by this commit   2005
miwi search for other commits by this committer
- Fix crash with lang/polyml.

PR:             109958
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
10 Aug 2006 12:04:59
Original commit files touched by this commit   2005
rafan search for other commits by this committer
math/isabelle does not build on pointyhat, because the build process
requires a non-standard kernel setting. Mark it as NO_PACKAGE.

Refer to http://docs.freebsd.org/cgi/mid.cgi?20060521015932.GB603

PR:             ports/101749
Submitted by:   Timothy Bourke <timbob at bigpond.com> (maintainer)
23 Jun 2006 02:29:06
Original commit files touched by this commit   2005
shaun search for other commits by this committer
Fix plist: don't remove nls/en_US.US-ASCII or nls/POSIX

PR:             ports/99341
Submitted by:   shaun (me)
Approved by:    ahze (mentor)
07 Jun 2006 14:17:39
Original commit files touched by this commit   2005
edwin search for other commits by this committer
add SHA256 checksum
01 May 2006 18:01:58
Original commit files touched by this commit   2005
sem search for other commits by this committer
- Update to 2005

PR:             ports/94671
Submitted by:   maintainer
01 Sep 2005 10:03:58
Original commit files touched by this commit   2004
barner search for other commits by this committer
Add isabelle 2004, a generic proof assistant.

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

Number of commits found: 31