Admin/components/main
changeset 69419 8985ee17bfd2
parent 69399 9e488aeb9870
child 69438 b578749daa62
     1.1 --- a/Admin/components/main	Fri Dec 07 12:31:37 2018 +0100
     1.2 +++ b/Admin/components/main	Fri Dec 07 14:58:32 2018 +0100
     1.3 @@ -19,7 +19,7 @@
     1.4  spass-3.8ds-1
     1.5  sqlite-jdbc-3.23.1
     1.6  ssh-java-20161009
     1.7 -stack-1.9.1
     1.8 +stack-1.9.3
     1.9  vampire-4.2.2
    1.10  xz-java-1.8
    1.11  z3-4.4.0pre-2