| changeset 69146 | 0b0680016187 |
| parent 69141 | 42504382f75b |
| child 69147 | 6f4d561ea621 |
| 69143:5acb1eece41b | 69146:0b0680016187 |
|---|---|
14 opam-1.2.2 |
14 opam-1.2.2 |
15 polyml-5.7.1-8 |
15 polyml-5.7.1-8 |
16 postgresql-42.2.5 |
16 postgresql-42.2.5 |
17 scala-2.12.7 |
17 scala-2.12.7 |
18 smbc-0.4.1 |
18 smbc-0.4.1 |
19 ssh-java-20161009 |
|
20 spass-3.8ds-1 |
19 spass-3.8ds-1 |
21 sqlite-jdbc-3.23.1 |
20 sqlite-jdbc-3.23.1 |
21 ssh-java-20161009 |
|
22 vampire-4.2.2 |
22 vampire-4.2.2 |
23 xz-java-1.8 |
23 xz-java-1.8 |
24 z3-4.4.0pre-2 |
24 z3-4.4.0pre-2 |