changeset 73910 | c678e58cf999 |
parent 73906 | f627ffab387b |
child 73911 | a8c5ee444991 |
73909:1d0d9772fff0 | 73910:c678e58cf999 |
---|---|
16 kodkodi-1.5.6-1 |
16 kodkodi-1.5.6-1 |
17 nunchaku-0.5 |
17 nunchaku-0.5 |
18 opam-2.0.7 |
18 opam-2.0.7 |
19 polyml-5.8.2 |
19 polyml-5.8.2 |
20 postgresql-42.2.18 |
20 postgresql-42.2.18 |
21 scala-2.13.6 |
21 scala-2.13.5 |
22 smbc-0.4.1 |
22 smbc-0.4.1 |
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.5.1 |
26 stack-2.5.1 |