Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
[patch] proposed fix for ebuild
agda-1.0.2-r2.ebuild.diff (text/plain), 812 bytes, created by Ulrich Müller on 2010-09-11 17:40:57 UTC
(hide)
 
Creator: Ulrich Müller
Created: 2010-09-11 17:40:57 UTC
Size: 812 bytes
Actions: View | Diff
Attachments on bug 336741: 246875