ghostfox/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
main
nixpkgs/pkgs/development/idris-modules/README.md

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

2 lines
98 B
Markdown
Raw Permalink Normal View History

push sheeet
2025-10-09 14:15:47 +02:00
Moved to [/doc/languages-frameworks/idris.section.md](/doc/languages-frameworks/idris.section.md)
Reference in New Issue Copy Permalink