compilers
|
Merge branch 'master' into staging-next
|
2020-06-10 09:41:53 +02:00 |
coq-modules
|
ocamlPackages.elpi: 1.10.2 -> 1.11.0
|
2020-06-04 10:25:19 +02:00 |
guile-modules
|
guile-cairo: 1.10.0 -> 1.11.0
|
2020-05-27 12:16:50 -07:00 |
idris-modules
|
Merge master into staging-next
|
2020-06-04 15:25:54 +02:00 |
interpreters
|
Merge branch 'staging-next'
|
2020-06-10 16:13:48 +02:00 |
libraries
|
Merge branch 'staging-next'
|
2020-06-10 16:13:48 +02:00 |
misc
|
treewide: replace base64 encoded hashes
|
2020-06-03 18:35:19 +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
|
Merge branch 'master' into staging-next
|
2020-06-10 04:10:34 +02:00 |
tools
|
cmake-language-server: 0.1.1 -> 0.1.2
|
2020-06-10 19:42:48 +02:00 |
web
|
formatting: fix missing leading whitespace
|
2020-06-07 17:29:08 -04:00 |