Michael Raskin e170e0e85f Merge pull request #85825 from kini/acl2-8.3 ...

acl2: 8.2 -> 8.3

2020-04-24 16:05:17 +00:00

..

androidndk-pkgs

…

arduino

Merge pull request #84190 from geistesk/platformio-4.3.1

2020-04-17 11:37:07 +01:00

beam-modules

…

bower-modules/generic

…

chez-modules

…

compilers

Merge master into staging-next

2020-04-22 17:20:20 +02:00

coq-modules

…

dhall-modules

…

dotnet-modules/patches

…

em-modules/generic

…

go-modules

…

go-packages

…

guile-modules

…

haskell-modules

treewide: per RFC45, remove more unquoted URLs

2020-04-18 14:04:37 +02:00

idris-modules

…

interpreters

acl2: 8.2 -> 8.3

2020-04-23 17:15:41 -07:00

java-modules

…

libraries

Merge pull request #85901 from zowoq/slirp

2020-04-24 11:37:00 +02:00

lisp-modules

…

lua-modules

…

misc

Merge pull request #84551 from gnprice/pr-stripDebugList

2020-04-14 15:54:52 +02:00

mobile

…

node-packages

vscode-extensions.rust-analyzer: 2020-04-06 -> 2020-04-20

2020-04-23 17:11:22 +08:00

ocaml-modules

Merge pull request #85636 from matthewbauer/blas-lapack-fix-fallout-from-83888

2020-04-21 19:59:16 +02:00

perl-modules

…

pharo

…

pure-modules

…

python-modules

Merge pull request #84943 from drewrisinger/dr-pr-qiskit-bump

2020-04-24 09:06:08 -04:00

r-modules

treewide: use blas and lapack

2020-04-17 16:24:09 -05:00

ruby-modules

…

tools

cargo-make: 0.30.5 -> 0.30.6

2020-04-24 15:18:00 +02:00

web

Merge pull request #83054 from peterhoeg/u/icr

2020-04-22 20:31:35 +08:00