public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
0cda2e2cb27bc9e9c66e28b273687db88149bb7a
nixpkgs/pkgs/development/idris-modules/default.nix
Mike Sperber 620f3c6cf7 idrisPackages: add tf-random package
2020-03-20 13:44:50 +01:00

5.0 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink