diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2017-07-13 23:22:22 +0200 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2017-07-14 00:09:34 +0200 |
| commit | 84c4c5683821d787c70616e7a0da30e239eb2a37 (patch) | |
| tree | c8ecfe8584ab171ce143eb297e72c39c8c9d6cf4 /dev-java/istack-commons-buildtools | |
| parent | sci-mathematics/coq: Remove old (diff) | |
| download | gentoo-84c4c5683821d787c70616e7a0da30e239eb2a37.tar.gz gentoo-84c4c5683821d787c70616e7a0da30e239eb2a37.tar.bz2 gentoo-84c4c5683821d787c70616e7a0da30e239eb2a37.zip | |
dev-lang/ocaml: serialize build a bit more as it sometimes fails
Package-Manager: Portage-2.3.6, Repoman-2.3.2
Diffstat (limited to 'dev-java/istack-commons-buildtools')
0 files changed, 0 insertions, 0 deletions