coq-modules
|
coqPackages.corn: 8.8.1 → 8.12.0
|
2021-01-28 10:28:51 +01:00 |
interpreters
|
Merge staging-next into staging
|
2021-01-31 00:46:33 +00:00 |
libraries
|
kcompletion: backport upstream patch
|
2021-01-31 05:17:58 -06:00 |
lisp-modules
|
treewide: stdenv.lib -> lib
|
2021-01-27 13:08:40 +07:00 |
mobile
|
androidenv: do not copy verbosely
|
2021-01-27 02:03:14 -08:00 |
node-packages
|
treewide: update permanent url redirects
|
2021-01-30 21:48:57 +01:00 |
ocaml-modules
|
ocamlPackages.caqti*: init at 1.3.0
|
2021-01-30 11:37:36 +01:00 |
tools
|
Merge staging-next into staging
|
2021-01-31 06:19:43 +00:00 |
web
|
treewide: update permanent url redirects
|
2021-01-30 21:48:57 +01:00 |