coq-modules
|
coqPackages.coqprime: 8.12 → 8.14.1
|
2021-12-02 13:16:44 +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 |
libraries
|
snappy: add patch to re-enable RTTI
|
2021-12-02 14:23:18 +02:00 |
lisp-modules
|
lispPackages: add cl-shellwords
|
2021-11-28 13:49:59 +01: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 |
python-modules
|
Merge pull request #148238 from rmcgibbo/rdkit
|
2021-12-02 08:14:59 +00:00 |
tools
|
Merge pull request #148264 from marsam/update-jtc
|
2021-12-02 09:43:43 -05:00 |
web
|
deno: 1.16.2 -> 1.16.3
|
2021-11-25 11:13:51 +00:00 |