public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
b770be49b934e7b8065a76c1d4d3d9f56be5ba4e
nixpkgs/pkgs/development/idris-modules/default.nix
Imuli a6e17d6f11 idrisPackages.quantities: init at 2018-04-17
2018-08-04 23:10:43 -04:00

5.0 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink