coq-modules
|
coqPackages.coqhammer: 1.3.1 → 1.3.2
|
2021-11-29 10:33:36 +01:00 |
embedded
|
platformio: override zeroconf
|
2021-11-25 10:49:51 +01:00 |
gnuradio-modules
|
gnuradio3_8packages.ais: fix build
|
2021-11-25 14:01:32 -08:00 |
interpreters
|
Merge pull request #145752 from mweinelt/cpython
|
2021-11-30 23:18:59 +01:00 |
libraries
|
Merge staging-next into staging
|
2021-12-01 00:02:28 +00:00 |
lisp-modules
|
Merge master into staging-next
|
2021-11-28 18:00:57 +00:00 |
node-packages
|
nodePackages.gramma: init at 1.6.0
|
2021-11-27 03:17:48 +02:00 |
ocaml-modules
|
ocamlPackages.reactivedata: fix src hash
|
2021-11-28 15:19:59 +01:00 |
php-packages
|
phpExtensions.gnupg: init at 1.5.0
|
2021-11-23 20:06:39 +01:00 |
tools
|
Merge staging-next into staging
|
2021-12-01 00:02:28 +00:00 |
web
|
deno: 1.16.2 -> 1.16.3
|
2021-11-25 11:13:51 +00:00 |