compilers
|
maintainers: remove superherointj
|
2021-11-02 18:22:31 -07:00 |
coq-modules
|
coqPackages.coqeal: master, add dependency
|
2021-11-02 11:36:09 +01:00 |
interpreters
|
Merge master into staging-next
|
2021-11-01 00:01:32 +00:00 |
ocaml-modules
|
maintainers: remove superherointj
|
2021-11-02 18:22:31 -07:00 |
r-modules
|
rPackages: fix builds requiring gsl
|
2021-11-01 19:39:52 +11:00 |
tools
|
Merge pull request #144268 from pimeys/prisma-3.4.0
|
2021-11-03 14:11:41 +01:00 |
web
|
Merge master into staging-next
|
2021-10-31 00:01:33 +00:00 |