new install script

run_install-dep-tam-pv.sh

@@ -9,12 +9,11 @@ sudo sysctl -w net.ipv6.conf.default.disable_ipv6=1
 sudo sysctl -w net.ipv6.conf.lo.disable_ipv6=1
 
 ## dependencies
-sudo apt remove -y needrestart  ### new
-sudo add-apt-repository --remove ppa:avsm/ppa -y ### new
+sudo apt remove -y needrestart 
+sudo add-apt-repository --remove ppa:avsm/ppa -y
 sudo apt update -y
-sudo apt full-upgrade -y ### new
+sudo apt full-upgrade -y
 sudo apt install software-properties-common -y
-##sudo add-apt-repository ppa:avsm/ppa 
 sudo apt install time libgtk2.0-dev pkg-config opam curl make unzip graphviz build-essential bubblewrap parallel python3-pip locales -y
 
 ## sympy
@@ -28,7 +27,6 @@ curl -sSL https://get.haskellstack.org/ | sh -s - -f
 curl -L https://github.com/SRI-CSL/Maude/releases/download/Maude3.3.1/Maude-linux.zip > maude.zip
 unzip -oj maude.zip -d ~/.local/bin/
 mv -f ~/.local/bin/maude.linux64 ~/.local/bin/maude
-##mv -f ./maude/prelude.maude /usr/local/bin/prelude.maude
 chmod a+x ~/.local/bin/maude
 rm maude.zip
 
@@ -49,5 +47,5 @@ cd ..
 ## proverif
 bash -c "sh <(curl -fsSL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh)"
 opam init
-opam update ### new
-opam install "proverif=2.04" ### new
+opam update 
+opam install "proverif=2.04"