coq-packages.nix
|
coqPackages.mathcomp: 1.12.0 -> 1.13.0
|
2021-10-29 21:05:07 +02:00 |
kodi-packages.nix
|
kodi.packages.iagl: init at 1101521-2
|
2021-11-06 18:05:33 -04:00 |
ocaml-packages.nix
|
ocamlPackages.piaf: init 0.1.0
|
2021-11-02 17:03:32 +01:00 |
release-haskell.nix
|
hyper-haskell: mark broken
|
2021-11-05 15:01:17 +09:00 |