compilers
|
Merge staging-next into staging
|
2023-07-19 12:01:51 +00:00 |
coq-modules
|
coqPackages.compcert: enable for Coq 8.17
|
2023-07-17 07:47:50 +02:00 |
interpreters
|
Merge master into staging-next
|
2023-07-19 12:01:12 +00:00 |
libraries
|
Merge pull request #244184 from nim65s/eigenpy-310
|
2023-07-19 11:58:45 +03:00 |
lisp-modules
|
nyxt: 3.3.0 -> 3.4.0
|
2023-07-15 18:24:19 +02:00 |
lua-modules
|
Merge master into staging-next
|
2023-07-19 00:02:11 +00:00 |
misc
|
brev-cli: 0.6.244 -> 0.6.249
|
2023-07-11 21:44:15 +00:00 |
mobile
|
maestro: 1.30.0 -> 1.30.3
|
2023-07-18 01:33:08 +05:30 |
ocaml-modules
|
ocamlformat: 0.25.1 -> 0.26.0
|
2023-07-19 16:57:37 +02:00 |
python-modules
|
Merge staging-next into staging
|
2023-07-19 18:01:35 +00:00 |
tools
|
Merge master into staging-next
|
2023-07-19 18:01:04 +00:00 |