miwi 2009-01-10 15:27:26 UTC
FreeBSD ports repository
Modified files:
devel/uppaal Makefile distinfo pkg-plist
devel/uppaal/files uppaal.in
Removed files:
devel/uppaal/files patch-uppaal
Log:
- Update to 4.0.7
PR: 129607
Submitted by: Timothy Bourke <[email protected]> (maintainer)
Revision Changes Path
1.9 +6 -5 ports/devel/uppaal/Makefile
1.4 +3 -3 ports/devel/uppaal/distinfo
1.3 +0 -11 ports/devel/uppaal/files/patch-uppaal (dead)
1.3 +20 -2 ports/devel/uppaal/files/uppaal.in
1.3 +1 -1 ports/devel/uppaal/pkg-plist
_______________________________________________
[email protected] mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "[email protected]"
