diff options
| author |   Jesus Rivero <neurogeek@gentoo.org> | 2008-08-06 20:16:53 +0000 |
|---|---|---|
| committer | Jesus Rivero <neurogeek@gentoo.org> | 2008-08-06 20:16:53 +0000 |
| commit | d4dc7e415a15441400387872eae7d614030f3cfb (patch) | |
| tree | e9a0e5860c2a9357cb3a2a80fc08219c4a9bb999 /sci-mathematics/coq | |
| parent | add GLEP 56 USE flag desc from use.local.desc (diff) | |
| download | historical-d4dc7e415a15441400387872eae7d614030f3cfb.tar.gz historical-d4dc7e415a15441400387872eae7d614030f3cfb.tar.bz2 historical-d4dc7e415a15441400387872eae7d614030f3cfb.zip | |
add GLEP 56 USE flag desc from use.local.desc. Fixed ebuild minorsyn (quotes added)
Package-Manager: portage-2.1.4.4
Diffstat (limited to 'sci-mathematics/coq')
0 files changed, 0 insertions, 0 deletions