diff options
| author |   Michael Weber <xmw@gentoo.org> | 2010-09-27 00:29:07 +0000 |
|---|---|---|
| committer | Michael Weber <xmw@gentoo.org> | 2010-09-27 00:29:07 +0000 |
| commit | a1977f8d5a1a93ea299761e7ddab3e1085fb0692 (patch) | |
| tree | d34e2929789b629a8e02b6403084719d473e7a77 /sci-mathematics/coq/metadata.xml | |
| parent | Version bump (diff) | |
| download | historical-a1977f8d5a1a93ea299761e7ddab3e1085fb0692.tar.gz historical-a1977f8d5a1a93ea299761e7ddab3e1085fb0692.tar.bz2 historical-a1977f8d5a1a93ea299761e7ddab3e1085fb0692.zip | |
fix build system issues
Package-Manager: portage-2.1.8.3/cvs/Linux x86_64
Diffstat (limited to 'sci-mathematics/coq/metadata.xml')
0 files changed, 0 insertions, 0 deletions