compilers
|
Merge branch 'staging-next' into staging
|
2020-06-10 09:42:36 +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 |
interpreters
|
Merge branch 'master' into staging-next
|
2020-06-10 20:00:44 +02:00 |
libraries
|
Merge staging-next into staging
|
2020-06-11 09:59:26 +02:00 |
mobile
|
adb-sync: 2016-08-31 -> 2019-01-01
|
2020-06-10 01:40:29 +02:00 |
ocaml-modules
|
ocamlPackages.crowbar: init at 0.2
|
2020-06-09 21:26:38 +02:00 |
python-modules
|
python: smart_open: 1.11.1 -> 2.0.0
|
2020-06-11 10:00:21 +02:00 |
tools
|
Merge staging-next into staging
|
2020-06-11 09:59:26 +02:00 |
web
|
formatting: fix missing leading whitespace
|
2020-06-07 17:29:08 -04:00 |