| changeset 79563 | 76ad72736e9e |
| parent 79528 | 667cb8b79909 |
| child 79740 | ea1913c953ef |
| 79562:ceaef5bae253 | 79563:76ad72736e9e |
|---|---|
34 smbc-0.4.1 |
34 smbc-0.4.1 |
35 spass-3.8ds-2 |
35 spass-3.8ds-2 |
36 sqlite-jdbc-3.45.0.0 |
36 sqlite-jdbc-3.45.0.0 |
37 stack-2.13.1 |
37 stack-2.13.1 |
38 vampire-4.8 |
38 vampire-4.8 |
39 verit-2021.06.2-rmx |
39 verit-2021.06.2-rmx-1 |
40 vscode_extension-20230206 |
40 vscode_extension-20230206 |
41 vscodium-1.70.1 |
41 vscodium-1.70.1 |
42 xz-java-1.9 |
42 xz-java-1.9 |
43 z3-4.4.0_4.4.1 |
43 z3-4.4.0_4.4.1 |
44 zipperposition-2.1-1 |
44 zipperposition-2.1-1 |