compilers
|
Merge branch 'master' into staging-next
|
2021-06-22 00:58:31 +02:00 |
coq-modules
|
coqPackages.VST: 2.7.1 -> 2.8
|
2021-06-18 10:39:33 +02:00 |
libraries
|
Merge branch 'master' into staging-next
|
2021-06-22 00:58:31 +02:00 |
mobile
|
treewide: use quotes for url
|
2021-06-20 16:26:23 +02:00 |
ocaml-modules
|
ocamlPackages.tls-async: init 0.13.2
|
2021-06-18 12:44:54 +02:00 |
python-modules
|
python3Packages.scp: 0.13.3 -> 0.13.4
|
2021-06-22 13:42:41 +02:00 |
tools
|
Merge branch 'master' into staging-next
|
2021-06-22 00:58:31 +02:00 |
web
|
Merge pull request #127396 from nessdoor/nixpkgs/protege
|
2021-06-20 17:47:14 +02:00 |