compilers
|
Merge master into staging-next
|
2021-10-27 18:01:02 +00:00 |
coq-modules
|
coqPackages.coq-elpi: 1.10 -> 1.11
|
2021-10-27 13:19:57 +02:00 |
gnuradio-modules
|
gnuradio: Reenable thrift support
|
2021-10-23 23:46:45 +03:00 |
interpreters
|
Merge master into staging-next
|
2021-10-27 12:01:20 +00:00 |
libraries
|
Merge master into staging-next
|
2021-10-27 18:01:02 +00:00 |
python-modules
|
Merge master into staging-next
|
2021-10-27 18:01:02 +00:00 |
quickemu
|
quickemu: init at 2.2.6
|
2021-10-24 08:53:11 -06:00 |
tools
|
Merge master into staging-next
|
2021-10-27 12:01:20 +00:00 |
web
|
Merge master into staging-next
|
2021-10-27 18:01:02 +00:00 |