diff options
| author |   Sam James <sam@gentoo.org> | 2021-11-07 01:20:40 +0000 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2021-11-07 01:20:40 +0000 |
| commit | bab04cdceaa5297441c9961cd3543e431e1a9ffe (patch) | |
| tree | 44a514d598a0ae36450838b50ceb04b064048e5c /dev-ml/opam | |
| parent | dev-ml/labltk: add 8.06.11 (diff) | |
| download | gentoo-bab04cdceaa5297441c9961cd3543e431e1a9ffe.tar.gz gentoo-bab04cdceaa5297441c9961cd3543e431e1a9ffe.tar.bz2 gentoo-bab04cdceaa5297441c9961cd3543e431e1a9ffe.zip | |
dev-ml/num: fix handling of ocamlopt
Closes: https://bugs.gentoo.org/821988
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/opam')
0 files changed, 0 insertions, 0 deletions