Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
[patch] Updated patch for ebuild
agda-1.0.2-r1.ebuild.diff (text/plain), 917 bytes, created by Ulrich Müller on 2008-12-05 10:38:18 UTC
(hide)
 
Creator: Ulrich Müller
Created: 2008-12-05 10:38:18 UTC
Size: 917 bytes
Actions: View | Diff
Attachments on bug 249360: 173878 | 174306