These forks were introduced in https://github.com/NixOS/nixpkgs/pull/42861 to make the builds succeed. The changes have since been incorporated upstream.
Moved to /doc/languages-frameworks/idris.section.md