compilers
|
Merge staging-next into staging
|
2020-06-08 12:08:51 +02:00 |
coq-modules
|
ocamlPackages.elpi: 1.10.2 -> 1.11.0
|
2020-06-04 10:25:19 +02:00 |
idris-modules
|
Merge master into staging-next
|
2020-06-04 15:25:54 +02:00 |
libraries
|
Merge staging-next into staging
|
2020-06-08 12:08:51 +02:00 |
misc
|
treewide: replace base64 encoded hashes
|
2020-06-03 18:35:19 +02:00 |
node-packages
|
treewide: replace base64 encoded hashes
|
2020-06-03 18:35:19 +02:00 |
python-modules
|
Merge staging-next into staging
|
2020-06-08 12:08:51 +02:00 |
tools
|
patchelf: 0.9 -> 0.11
|
2020-06-09 17:36:57 +02:00 |
web
|
formatting: fix missing leading whitespace
|
2020-06-07 17:29:08 -04:00 |