public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
9f035ff85724eb495efd341f9be3ceae7aa4f85e
nixpkgs/pkgs/development/idris-modules/refined.nix
Michael Reilly 84cf00f980 treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00

596 B
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink