Uppaal 3.4.11 --> 4.0.2
Responsible Changed From-To: freebsd-ports-bugs->rafan Eat.
State Changed From-To: open->closed Committed. Thanks!
rafan 2006-09-15 09:07:16 UTC FreeBSD ports repository Modified files: devel/uppaal Makefile distinfo pkg-plist devel/uppaal/files patch-uppaal uppaal.in Log: - Update to 4.0.2 PR: ports/103246 Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer) Revision Changes Path 1.3 +14 -22 ports/devel/uppaal/Makefile 1.2 +3 -2 ports/devel/uppaal/distinfo 1.2 +4 -4 ports/devel/uppaal/files/patch-uppaal 1.2 +2 -5 ports/devel/uppaal/files/uppaal.in 1.2 +23 -17 ports/devel/uppaal/pkg-plist _______________________________________________ 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"
rafan 2006-09-17 10:00:57 UTC FreeBSD ports repository Modified files: . LEGAL Log: - Update for devel/uppaal PR: ports/103246 Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer) Revision Changes Path 1.497 +2 -2 ports/LEGAL _______________________________________________ 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"