diff options
| author | Tupone Alfredo <tupone@gentoo.org> | 2017-11-05 20:13:41 +0100 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2017-11-05 20:13:41 +0100 |
| commit | 40e581e9adb9355ae55c4c277a79625a0162aece (patch) | |
| tree | 87bef5ae57bbc71e0cb198f40485671f03604d2f /dev-lang/j | |
| parent | 919341574ddb78492e657702b0056ae83e787e7b (diff) | |
| download | gentoo-40e581e9adb9355ae55c4c277a79625a0162aece.tar.gz gentoo-40e581e9adb9355ae55c4c277a79625a0162aece.tar.xz | |
dev-lang/spark: disable zip on why3
Package-Manager: Portage-2.3.8, Repoman-2.3.3
Diffstat (limited to 'dev-lang/j')
0 files changed, 0 insertions, 0 deletions