Bug 111446 - Update port: devel/uppaal 4.0.2->4.0.6
Summary: Update port: devel/uppaal 4.0.2->4.0.6
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-04-10 12:50 UTC by Timothy Bourke
Modified: 2007-04-11 21:20 UTC (History)
0 users

See Also:

uppaal.diff (1.64 KB, patch)
2007-04-10 12:50 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-04-10 12:50:07 UTC
pointyhat/kris report that the previous version is no longer
		available for download.

		Unfortunately the verifier (server.exe) in this release
		requires compat.linux.osrelease 2.6.16 which means it will
		only work on current.
Comment 1 Martin Wilke freebsd_committer 2007-04-10 12:53:24 UTC
Responsible Changed
From-To: freebsd-ports-bugs->miwi

I'll take it.
Comment 2 dfilter service freebsd_committer 2007-04-11 21:11:56 UTC
miwi        2007-04-11 20:11:50 UTC

  FreeBSD ports repository

  Modified files:
    devel/uppaal         Makefile distinfo 
  - Update to 4.0.6
  PR:             111446
  Submitted by:   Timothy Bourke <timbob@bigpond.com>
  Revision  Changes    Path
  1.5       +7 -1      ports/devel/uppaal/Makefile
  1.3       +3 -3      ports/devel/uppaal/distinfo
cvs-all@freebsd.org mailing list
To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org"
Comment 3 Martin Wilke freebsd_committer 2007-04-11 21:13:38 UTC
State Changed
From-To: open->closed

Committed. Thanks!