coq-modules
|
coqPackages.VST: init at 2.6
|
2020-10-05 16:39:26 +02:00 |
libraries
|
pangolin: remove trailing whitespace
|
2020-10-09 18:29:57 +10: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
|
pythonPackages.maestral: 1.2.0 -> 1.2.1
|
2020-10-08 22:47:35 -07:00 |
tools
|
knightos-mktiupgrade: init at 1.1.6
|
2020-10-16 07:48:16 +02:00 |
web
|
cypress: 4.12.1 -> 5.3.0
|
2020-10-01 08:27:47 +02:00 |