diff options
author | Maciej Barć <xgqt@gentoo.org> | 2023-03-08 22:38:20 +0100 |
---|---|---|
committer | Maciej Barć <xgqt@gentoo.org> | 2023-03-08 22:38:54 +0100 |
commit | 0c9116b3aef8f3e47e801bc1c8afce931f9b790b (patch) | |
tree | e77448405385db9e8b0f3bc8f3a20e91df2ba679 /licenses/OSGi-Specification-2.0 | |
parent | sys-cluster/kube-scheduler: add 1.23.17 (diff) | |
download | gentoo-0c9116b3aef8f3e47e801bc1c8afce931f9b790b.tar.gz gentoo-0c9116b3aef8f3e47e801bc1c8afce931f9b790b.tar.bz2 gentoo-0c9116b3aef8f3e47e801bc1c8afce931f9b790b.zip |
sci-mathematics/cubicle: require ocamlopt
Closes: https://bugs.gentoo.org/895214
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'licenses/OSGi-Specification-2.0')
0 files changed, 0 insertions, 0 deletions