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 |
python-packages.nix
|
Merge master into staging-next
|
2021-03-31 06:05:41 +00:00 |
ruby-packages.nix
|
rubyPackages.kramdown: 2.3.0 -> 2.3.1
|
2021-03-30 07:45:19 +09:00 |