coq-modules
|
coqPackages.VST: init at 2.6
|
2020-10-05 16:39:26 +02:00 |
interpreters
|
Merge pull request #99946 from ggreif/master
|
2020-10-08 10:02:09 +02:00 |
libraries
|
qscintilla: 2.11.2 -> 2.11.5, fix license
|
2020-10-08 18:57:26 +02:00 |
lua-modules
|
treewide: fix redirected urls (run 3)
|
2020-10-02 09:01:35 -07:00 |
node-packages
|
nodePackages.expo-cli: use .override
|
2020-10-08 09:43:53 +02:00 |
ocaml-modules
|
ocamlPackages.fmt: 0.8.8 -> 0.8.9
|
2020-10-08 11:36:01 +02:00 |
python-modules
|
python3.pkgs.androguard: rewrite
|
2020-10-08 18:57:23 +02:00 |
tools
|
bazel_0: fix build on darwin
|
2020-10-08 16:03:44 +02:00 |
web
|
cypress: 4.12.1 -> 5.3.0
|
2020-10-01 08:27:47 +02:00 |