compilers
|
Merge master into staging-next
|
2021-12-24 06:01:16 +00:00 |
coq-modules
|
coqPackages.ITree: enable for Coq 8.14
|
2021-12-22 19:10:10 +01:00 |
haskell-modules
|
Merge master into staging-next
|
2021-12-23 00:01:33 +00:00 |
interpreters
|
Merge master into staging-next
|
2021-12-24 06:01:16 +00:00 |
libraries
|
Merge master into staging-next
|
2021-12-24 06:01:16 +00:00 |
ocaml-modules
|
ocamlPackages.batteries: 3.3.0 → 3.4.0
|
2021-12-23 13:09:35 +01:00 |
python-modules
|
Merge master into staging-next
|
2021-12-24 06:01:16 +00:00 |
tools
|
Merge master into staging-next
|
2021-12-24 06:01:16 +00:00 |