Admin/components/main
changeset 72970 06e5ba0d1d2c
parent 72969 5bc7fd5379ef
child 72971 162b71f7e554
equal deleted inserted replaced
72969:5bc7fd5379ef 72970:06e5ba0d1d2c
    19 spass-3.8ds-2
    19 spass-3.8ds-2
    20 sqlite-jdbc-3.32.3.2
    20 sqlite-jdbc-3.32.3.2
    21 ssh-java-20190323
    21 ssh-java-20190323
    22 stack-2.5.1
    22 stack-2.5.1
    23 vampire-4.2.2
    23 vampire-4.2.2
       
    24 verit-2020.10-rmx-1
    24 xz-java-1.8
    25 xz-java-1.8
    25 verit-2020.10-rmx-1
       
    26 z3-4.4.0pre-3
    26 z3-4.4.0pre-3
    27 zipperposition-2.0
    27 zipperposition-2.0