diff options
| author |   Kacper Kowalik <xarthisius@gentoo.org> | 2010-06-24 16:09:29 +0000 |
|---|---|---|
| committer | Kacper Kowalik <xarthisius@gentoo.org> | 2010-06-24 16:09:29 +0000 |
| commit | 199e9aac93a7d90447cc81e8e54720ae84b3345f (patch) | |
| tree | 55cebbc7b1e6391c574a7dcc99cdda650a7d495d /sci-mathematics/coq/metadata.xml | |
| parent | Fix build with GCC-4.5 wrt bug 321209. Thanks Diego for reporting. (diff) | |
| download | gentoo-2-199e9aac93a7d90447cc81e8e54720ae84b3345f.tar.gz gentoo-2-199e9aac93a7d90447cc81e8e54720ae84b3345f.tar.bz2 gentoo-2-199e9aac93a7d90447cc81e8e54720ae84b3345f.zip | |
Fix build with GCC-4.5 wrt bug 321209. Thanks Diego for reporting.
(Portage version: 2.1.8.3/cvs/Linux x86_64)
(Signed Manifest commit)
Diffstat (limited to 'sci-mathematics/coq/metadata.xml')
0 files changed, 0 insertions, 0 deletions