diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2012-10-06 21:07:34 +0000 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2012-10-06 21:07:34 +0000 |
| commit | c56ab6bce662d8c967530b4d10a7d3c55a30cc1b (patch) | |
| tree | 65b60b00616a5473547f41cd19dc22ef2288ddcb /dev-util | |
| parent | add camlp5 useflag to allow building coq with it, bug #434230 by Christian D. (diff) | |
| download | gentoo-2-c56ab6bce662d8c967530b4d10a7d3c55a30cc1b.tar.gz gentoo-2-c56ab6bce662d8c967530b4d10a7d3c55a30cc1b.tar.bz2 gentoo-2-c56ab6bce662d8c967530b4d10a7d3c55a30cc1b.zip | |
add camlp5 useflag to allow building coq with it, bug #434230 by Christian D.
(Portage version: 2.2.0_alpha135/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
Diffstat (limited to 'dev-util')
0 files changed, 0 insertions, 0 deletions