This website requires JavaScript.
Explore
Help
Register
Sign in
mirrors
/
gentoo-ebuilds
Watch
3
Star
0
Fork
You've already forked gentoo-ebuilds
0
mirror of
https://anongit.gentoo.org/git/repo/gentoo.git
synced
2025-07-21 22:53:31 +02:00
Code
Issues
Projects
Releases
Packages
Wiki
Activity
Actions
master
gentoo-ebuilds
/
dev-lang
/
idris2
/
files
History
Download ZIP
Download TAR.GZ
Exact
Exact
Union
RegExp
…
..
idris2-0.7.0-disable-allbackends-tests.patch