coq-modules
|
coqPackages.Verdi: 20181102 -> 20190202
|
2019-04-25 08:35:20 +02:00 |
libraries
|
xmlsec: 1.2.26 -> 1.2.28
|
2019-05-04 10:42:55 -07:00 |
mobile
|
cocoapods-beta: init at 1.7.0.beta.3
|
2019-04-16 20:50:56 -07:00 |
perl-modules
|
perlPackages.DBD-mysql: 4.046 -> 4.050
|
2019-04-22 16:01:25 +00:00 |
python-modules
|
pygame: preConfigure fix
|
2019-05-04 08:29:10 +02:00 |
tools
|
Merge pull request #60506 from manveru/update-cucumber
|
2019-05-04 13:19:27 +00:00 |
web
|
nodejs-11_x: 11.14.0 -> 11.15.0
|
2019-05-01 00:15:11 +02:00 |