diff options
Diffstat (limited to 'sci-mathematics/ltl2ba/ltl2ba-1.1.ebuild')
-rw-r--r-- | sci-mathematics/ltl2ba/ltl2ba-1.1.ebuild | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/sci-mathematics/ltl2ba/ltl2ba-1.1.ebuild b/sci-mathematics/ltl2ba/ltl2ba-1.1.ebuild index 94f03a487..c0d09637e 100644 --- a/sci-mathematics/ltl2ba/ltl2ba-1.1.ebuild +++ b/sci-mathematics/ltl2ba/ltl2ba-1.1.ebuild @@ -1,8 +1,8 @@ -# Copyright 1999-2009 Gentoo Foundation +# Copyright 1999-2010 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: Exp $ +# $Header: $ -DESCRIPTION="Fast LTL to Büchi Automata Translation" +DESCRIPTION="Fast LTL to Buechi Automata Translation" HOMEPAGE="http://www.lsv.ens-cachan.fr/~gastin/${PN}/" SRC_URI="http://www.lsv.ens-cachan.fr/~gastin/${PN}/${P}.tar.gz" @@ -26,4 +26,3 @@ src_install() { dobin ltl2ba || die "dobin failed" dodoc README } - |