applications
|
lean: 3.15.0 -> 3.16.2
|
2020-06-14 19:32:20 +00:00 |
data
|
Merge pull request #89783 from romildo/upd.snowblind
|
2020-06-09 15:41:02 -03:00 |
development
|
ocamlPackages.vg: 0.9.3 → 0.9.4
|
2020-06-13 09:56:40 +02:00 |
servers
|
Merge pull request #90189 from volth/cental.maven.org
|
2020-06-12 20:06:02 +01:00 |
shells
|
oh-my-zsh: 2020-06-08 -> 2020-06-10
|
2020-06-12 10:13:32 -04:00 |
stdenv
|
stdenv/check-meta: alignment/width
|
2020-06-11 12:35:11 +10:00 |
tools
|
reuse: 0.7.0 -> 0.11.0
|
2020-06-13 11:36:01 +05:30 |