coq-modules
|
coqPackages.Verdi: 20181102 -> 20190202
|
2019-04-25 08:35:20 +02:00 |
dotnet-modules/patches
|
[treewide] delete unused patches
|
2019-05-04 19:52:24 +02:00 |
interpreters
|
groovy: 2.5.6 -> 2.5.7
|
2019-05-11 13:40:53 -04:00 |
lua-modules
|
Merge #60614: lua*Packages improvements
|
2019-05-12 10:01:48 +02:00 |
mobile
|
cocoapods-beta: 1.7.0.beta.3 -> 1.7.0.rc.1
|
2019-05-02 13:36:28 -07:00 |
node-packages
|
nodePackages: regenerate
|
2019-05-10 17:34:34 -04:00 |
perl-modules
|
[treewide] delete unused patches
|
2019-05-04 19:52:24 +02:00 |
r-modules
|
[treewide] delete unused patches
|
2019-05-04 19:52:24 +02:00 |
ruby-modules
|
gem-config: add zlib
|
2019-05-08 17:46:03 +02:00 |
tools
|
icr: 0.5.0 -> 0.6.0 (#61156)
|
2019-05-12 15:27:55 +02:00 |
web
|
twitterBootstrap4: init at 4.3.1
|
2019-05-11 16:41:12 -05:00 |