Commit d75ac677 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

ltl2dstar 0.5.4

parent 41644c03
......@@ -34,7 +34,7 @@ installed (see /usr/local/share/doc/ for license details):
- ltl3ba 1.1.3 (GPL 2)
- ltl3dra 0.2.5 (GPL 2)
- ltl3tela 1.1.1 (GPL 3)
- ltl2dstar 0.5.3 (GPL 2)
- ltl2dstar 0.5.4 (GPL 2)
- Seminator 1.2.0 (GPL 3)
- owl 1.1.0 (GPL 3)
- jhoafparser 1.1.1 (LGPL 2.1)
......
......@@ -70,7 +70,7 @@ cd ..
rm -rf seminator-$V v$V.zip
# ltl2dstar
V=0.5.3
V=0.5.4
wget http://www.ltl2dstar.de/down/ltl2dstar-$V.tar.gz
tar xvf ltl2dstar-$V.tar.gz
cd ltl2dstar-$V/src
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment