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
|
treewide: replace SRI hashes
|
2020-06-01 15:24:19 +02:00 |
interpreters
|
python39: fix build on macOS
|
2020-06-04 17:11:29 +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 |
tools
|
gore: init at 0.5.0 (#89722)
|
2020-06-09 22:22:51 -07:00 |
web
|
formatting: fix missing leading whitespace
|
2020-06-07 17:29:08 -04:00 |