compilers
|
Merge master into staging-next
|
2022-01-01 00:01:38 +00:00 |
coq-modules
|
coqPackages.semantics: add 8.14.0
|
2021-12-29 21:21:02 +07:00 |
embedded
|
icestorm: update homepage
|
2021-12-28 09:45:52 -08:00 |
interpreters
|
Merge branch 'master' into staging-next
|
2021-12-31 07:26:03 +01:00 |
libraries
|
Merge master into staging-next
|
2022-01-01 00:01:38 +00:00 |
mobile
|
maintainers: update personal details
|
2021-12-31 21:48:55 +03:00 |
python-modules
|
Merge master into staging-next
|
2022-01-01 00:01:38 +00:00 |
tools
|
Merge master into staging-next
|
2022-01-01 00:01:38 +00:00 |
web
|
Merge master into staging-next
|
2021-12-31 12:01:24 +00:00 |