Admin/components/main
changeset 72486 e4d707eb7d1b
parent 72480 b772a93d44aa
child 72509 99da14fa28b8
equal deleted inserted replaced
72485:a0066948e7df 72486:e4d707eb7d1b
    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.1.3
    22 stack-2.1.3
    23 vampire-4.2.2
    23 vampire-4.2.2
    24 xz-java-1.8
    24 xz-java-1.8
       
    25 verit-2020.10-rmx-1
    25 z3-4.4.0pre-3
    26 z3-4.4.0pre-3