compilers
|
Merge pull request #164153 from malbarbo/scryer-0.9
|
2022-04-24 11:36:31 +01:00 |
coq-modules
|
coqPackages.Verdi: 20210524 → 20211026
|
2022-04-19 21:35:05 +02:00 |
interpreters
|
Merge pull request #169728 from shyim/patch-2
|
2022-04-24 10:28:42 +02:00 |
misc
|
hasura-graphql-engine: mark as broken
|
2022-04-21 10:34:31 +09:00 |
node-packages
|
add coc-flutter NPM dependency
|
2022-04-16 00:25:38 +01:00 |
ocaml-modules
|
ocamlPackages.llvm: switch to python3
|
2022-04-23 13:40:33 +02:00 |
quickemu
|
treewide: testVersion -> testers.testVersion
|
2022-04-22 16:24:27 +03:00 |
tools
|
radare2: 5.6.4 -> 5.6.8
|
2022-04-24 14:45:07 +02:00 |
web
|
nodejs-18_x: init at 18.0.0
|
2022-04-23 04:20:00 +00:00 |