Bug 101370 - Update port: editors/jedit-devel to 4.3p6
Summary: Update port: editors/jedit-devel to 4.3p6
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: Rong-En Fan
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2006-08-04 20:10 UTC by Linh Pham
Modified: 2006-08-06 04:04 UTC (History)
0 users

See Also:


Attachments
jedit-devel-4.3.p6.diff (1.31 KB, patch)
2006-08-04 20:10 UTC, Linh Pham
no flags Details | Diff
file.diff (623 bytes, patch)
2006-08-04 20:10 UTC, Linh Pham
no flags Details | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Linh Pham 2006-08-04 20:10:14 UTC
Update editors/jedit-devel to 4.3p6, which now requires Java 1.5+ to be
used (versus Java 1.4+ in previous development versions). I've included
a diff against the current version of ports/UPDATING that includes the
Java requirement change.

The jEdit maintainers have also changed the jar-ball for 4.3p5, so the
current version of editors/jedit-devel is BROKEN; the port update to
4.3p6 fixes that.
Comment 1 Rong-En Fan freebsd_committer freebsd_triage 2006-08-05 04:05:46 UTC
Responsible Changed
From-To: freebsd-ports-bugs->rafan

Eat.
Comment 2 Rong-En Fan freebsd_committer freebsd_triage 2006-08-06 04:04:20 UTC
State Changed
From-To: open->closed

Committed. Thanks!