miwi 2007-04-11 20:11:50 UTC FreeBSD ports repository Modified files: devel/uppaal Makefile distinfo Log: - Update to 4.0.6 PR: 111446 Submitted by: Timothy Bourke <timbob at bigpond.com> Revision Changes Path 1.5 +7 -1 ports/devel/uppaal/Makefile 1.3 +3 -3 ports/devel/uppaal/distinfo