coq-packages.nix
|
coqPackages.odd-order: init at 1.12.0
|
2021-03-31 08:31:08 +02:00 |
gnuradio-packages.nix
|
gnuradio3_{7,8}: Use external volk
|
2021-03-13 19:07:20 +02:00 |
ruby-packages.nix
|
rubyPackages.kramdown: 2.3.0 -> 2.3.1
|
2021-03-30 07:45:19 +09:00 |
static.nix
|
pkgsStatic: comment on brotli disabled
|
2021-03-29 19:40:05 +07:00 |