beam-modules
|
buildRebar3: use rebar3WithPlugins
|
2021-05-11 08:59:57 +09:00 |
compilers
|
llvm*Packages: fix output selection (lib.get*)
|
2021-05-11 10:45:11 +02:00 |
coq-modules
|
coqPackages.metalib: enable for Coq 8.13
|
2021-05-10 18:57:58 +02:00 |
interpreters
|
Merge master into staging-next
|
2021-05-10 18:28:17 +00:00 |
libraries
|
Merge master into staging-next
|
2021-05-11 00:48:15 +00:00 |
misc
|
umr: fix llvm build
|
2021-05-08 18:13:45 -07:00 |
ocaml-modules
|
Merge master into staging-next
|
2021-05-11 06:20:33 +00:00 |
python-modules
|
Merge master into staging-next
|
2021-05-11 06:20:33 +00:00 |
tools
|
Merge master into staging-next
|
2021-05-11 06:20:33 +00:00 |
web
|
Merge branch 'master' into staging-next
|
2021-05-09 09:31:55 +02:00 |