compilers
|
Merge master into staging-next
|
2021-05-10 18:28:17 +00:00 |
coq-modules
|
coqPackages.metalib: enable for Coq 8.13
|
2021-05-10 18:57:58 +02:00 |
haskell-modules
|
haskellPackages.tomland: Fix build
|
2021-05-09 02:38:05 +02:00 |
interpreters
|
Merge master into staging-next
|
2021-05-10 18:28:17 +00:00 |
libraries
|
Merge master into staging-next
|
2021-05-10 18:28:17 +00:00 |
misc
|
umr: fix llvm build
|
2021-05-08 18:13:45 -07:00 |
ocaml-modules
|
Merge branch 'master' into staging-next
|
2021-05-09 09:31:55 +02:00 |
php-packages
|
php.packages.phpcbf: 3.5.8 -> 3.6.0
|
2021-05-08 22:18:18 +02:00 |
python-modules
|
Merge master into staging-next
|
2021-05-10 18:28:17 +00:00 |
r-modules
|
Merge master into staging-next
|
2021-05-08 18:22:46 +00:00 |
tools
|
Merge master into staging-next
|
2021-05-10 18:28:17 +00:00 |
web
|
Merge branch 'master' into staging-next
|
2021-05-09 09:31:55 +02:00 |