agda-packages.nix
|
agda-categories: init at 0.1
|
2020-05-14 20:54:12 +01:00 |
aliases.nix
|
rkt: remove
|
2020-05-16 09:23:07 +10:00 |
all-packages.nix
|
Merge pull request #87975 from flokli/pkger
|
2020-05-17 10:37:38 +02:00 |
haskell-packages.nix
|
ghcHEAD: 20200403 -> 20200505
|
2020-05-08 21:11:46 +02:00 |
python-packages.nix
|
ponywhoosh: init at 1.7.8
|
2020-05-17 11:16:34 +01:00 |
release.nix
|
agda: rework builder
|
2020-05-14 20:54:11 +01:00 |
ruby-packages.nix
|
rubyPackages: update
|
2020-02-09 09:18:47 +01:00 |