compilers
|
Merge branch 'master' into staging-next
|
2023-06-17 07:46:50 +02:00 |
coq-modules
|
coqPackages.reglang: 1.1.2 → 1.1.3
|
2023-06-15 10:11:09 +02:00 |
interpreters
|
Merge branch 'master' into staging-next
|
2023-06-17 07:46:50 +02:00 |
misc
|
brev-cli: 0.6.229 -> 0.6.236
|
2023-06-12 04:55:56 +00:00 |
nim-packages
|
buildNimPackage: doCheck by default
|
2023-06-14 15:15:21 +01:00 |
ocaml-modules
|
ocamlPackages.memtrace: 0.2.2 -> 0.2.3
|
2023-06-17 15:27:07 +02:00 |
python-modules
|
Merge #237233: staging-next 2023-06-11
|
2023-06-17 18:53:26 +02:00 |
tools
|
Merge #237233: staging-next 2023-06-11
|
2023-06-17 18:53:26 +02:00 |
web
|
Merge #237233: staging-next 2023-06-11
|
2023-06-17 18:53:26 +02:00 |