aliases.nix
|
Merge pull request #82714 from delroth/s3tc
|
2020-04-20 13:41:47 +02:00 |
all-packages.nix
|
Merge pull request #82714 from delroth/s3tc
|
2020-04-20 13:41:47 +02:00 |
coq-packages.nix
|
coq_8_11: 8.11.0 → 8.11.1
|
2020-04-05 15:32:32 +02:00 |
release-alternatives.nix
|
giac: broken on 64-bit blas
|
2020-04-17 16:24:31 -05:00 |