Admin/components/main
changeset 69147 6f4d561ea621
parent 69146 0b0680016187
child 69188 2fd73a1a0937
     1.1 --- a/Admin/components/main	Wed Oct 17 16:53:45 2018 +0200
     1.2 +++ b/Admin/components/main	Wed Oct 17 20:06:19 2018 +0200
     1.3 @@ -19,6 +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  vampire-4.2.2
     1.9  xz-java-1.8
    1.10  z3-4.4.0pre-2