Bug 109951 - Update port: lang/polyml 4.2.0->5.0
Summary: Update port: lang/polyml 4.2.0->5.0
Status: Closed FIXED
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: Normal Affects Only Me
Assignee: Martin Wilke
Depends on:
Reported: 2007-03-05 23:20 UTC by Timothy Bourke
Modified: 2007-03-06 21:10 UTC (History)
0 users

See Also:

polyml.diff (6.17 KB, patch)
2007-03-05 23:20 UTC, Timothy Bourke
no flags Details | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Timothy Bourke 2007-03-05 23:20:03 UTC
The latest version of Poly/ML is under the GPL and contains
		major architectural updates that mean custom kernel settings
		are no longer required. A corresponding update for
		math/isabelle is forthcoming...
Comment 1 Martin Wilke freebsd_committer 2007-03-05 23:32:51 UTC
Responsible Changed
From-To: freebsd-ports-bugs->miwi

I'll take it.
Comment 2 Martin Wilke freebsd_committer 2007-03-06 21:02:06 UTC
State Changed
From-To: open->closed

Committed. Thanks!
Comment 3 dfilter service freebsd_committer 2007-03-06 21:02:14 UTC
miwi        2007-03-06 21:01:39 UTC

  FreeBSD ports repository

  Modified files:
    lang/polyml          Makefile distinfo 
  Removed files:
    lang/polyml          pkg-install 
  - Update to 5.0
  PR:             109951
  Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
  Revision  Changes    Path
  1.3       +14 -53    ports/lang/polyml/Makefile
  1.4       +3 -12     ports/lang/polyml/distinfo
  1.2       +0 -36     ports/lang/polyml/pkg-install (dead)
cvs-all@freebsd.org mailing list
To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org"