| changeset 74403 | dbd69d287ec6 |
| parent 74389 | c1583aa3d861 |
| child 74412 | b6a561f9c828 |
| 74400:269a39b6c5f8 | 74403:dbd69d287ec6 |
|---|---|
23 spass-3.8ds-2 |
23 spass-3.8ds-2 |
24 sqlite-jdbc-3.34.0 |
24 sqlite-jdbc-3.34.0 |
25 ssh-java-20190323 |
25 ssh-java-20190323 |
26 stack-2.7.3 |
26 stack-2.7.3 |
27 vampire-4.5.1 |
27 vampire-4.5.1 |
28 verit-2020.10-rmx-1 |
28 verit-2021.06-rmx |
29 xz-java-1.8 |
29 xz-java-1.8 |
30 z3-4.4.0pre-3 |
30 z3-4.4.0pre-3 |
31 zipperposition-2.1 |
31 zipperposition-2.1 |