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 |
libraries
|
Merge pull request #144286 from Artturin/libqassec
|
2021-11-03 21:25:28 +02:00 |
ocaml-modules
|
maintainers: remove superherointj
|
2021-11-02 18:22:31 -07:00 |
quickemu
|
quickemu: 2.2.6 -> 2.2.7
|
2021-10-27 08:45:41 -06:00 |
r-modules
|
rPackages: fix builds requiring gsl
|
2021-11-01 19:39:52 +11:00 |
ruby-modules
|
rbenv: 1.1.2 -> 1.2.0
|
2021-10-29 01:13:11 +00: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 |