compilers
|
Merge pull request #88989 from wchresta/idris2
|
2020-06-04 09:05:06 +02:00 |
coq-modules
|
ocamlPackages.elpi: 1.10.2 -> 1.11.0
|
2020-06-04 10:25:19 +02: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 |
libraries
|
dlib: 19.19 -> 19.20
|
2020-06-07 17:09:35 +02:00 |
misc
|
treewide: replace base64 encoded hashes
|
2020-06-03 18:35:19 +02:00 |
mobile
|
cocoapods-beta: 1.9.2 -> 1.9.3
|
2020-05-30 14:17:09 -07:00 |
node-packages
|
treewide: replace base64 encoded hashes
|
2020-06-03 18:35:19 +02:00 |
tools
|
cargo-make: 0.30.8 -> 0.31.0
|
2020-06-07 17:09:35 +02:00 |
web
|
treewide: replace base64 encoded hashes
|
2020-06-03 18:35:19 +02:00 |