Skip to content

GitLab

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

Owl 19.06.01

parent 1af49cb2
Pipeline #10823 passed with stage
    in 12 minutes
    Hide whitespace changes
    Inline Side-by-side
    Showing with 2 additions and 2 deletions
    README
    View file @ b9f34204
    ......@@ -36,7 +36,7 @@ installed (see /usr/local/share/doc/ for license details):
    - ltl3tela 1.1.2 (GPL 3)
    - ltl2dstar 0.5.4 (GPL 2)
    - Seminator 1.2.0 (GPL 3)
    - Owl 19.06 (GPL 3)
    - Owl 19.06.01 (GPL 3)
    - jhoafparser 1.1.1 (LGPL 2.1)
    - spin @SPINVERSION@ (BSD 3-clause)
    - divine 2.4 patched with LTSmin support (BSD 2-clause + GPL 2)
    ......
    install.sh
    View file @ b9f34204
    ......@@ -107,7 +107,7 @@ SPINVERSION=`spin -V | sed -n 's/.* \([0-9.]\+\) --.*/\1/p'`
    sed -i "s/@SPINVERSION@/$SPINVERSION/" /home/user/README
    # Owl
    V=19.06
    V=19.06.01
    wget http://www.lrde.epita.fr/dload/spot/deps/owl-$V.zip
    mkdir -p /usr/local/share/
    unzip owl-$V.zip -d /usr/local/share/
    ......
    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