cvs commit: ports/math Makefile ports/math/ltl2ba Makefile
distinfo pkg-descr
Brendan Fabeny
bf at FreeBSD.org
Fri May 27 18:11:33 UTC 2011
bf 2011-05-27 18:11:32 UTC
FreeBSD ports repository
Modified files:
math Makefile
Added files:
math/ltl2ba Makefile distinfo pkg-descr
Log:
Add ltl2ba 1.1, fast translation from LTL formulae to Buechi automata.
Revision Changes Path
1.700 +1 -0 ports/math/Makefile
1.1 +28 -0 ports/math/ltl2ba/Makefile (new)
1.1 +2 -0 ports/math/ltl2ba/distinfo (new)
1.1 +11 -0 ports/math/ltl2ba/pkg-descr (new)
More information about the cvs-all
mailing list