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 /games-puzzle/freesweep | |
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 'games-puzzle/freesweep')
0 files changed, 0 insertions, 0 deletions