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
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2007-03-05 23:20 UTC by Timothy Bourke
Modified: 2007-03-06 21:10 UTC (History)
0 users

See Also:

Attachments
polyml.diff (6.17 KB, patch)
2007-03-05 23:20 UTC, Timothy Bourke 		no flags Details | Diff
View All Add an attachment (proposed patch, testcase, etc.)

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 freebsd_triage 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 freebsd_triage 2007-03-06 21:02:06 UTC 
State Changed
From-To: open->closed

Committed. Thanks!
Comment 3 dfilter service freebsd_committer freebsd_triage 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 
  Log:
  - 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
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org"