diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2023-08-10 19:51:02 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2023-08-10 20:38:48 +0200 |
| commit | e1c84463cec467740f9db18025fafd6c60d53594 (patch) | |
| tree | cea02317e80357723c39912d46bf836d5f869837 /dev-ml/opam-format/files | |
| parent | dev-libs/libclc: Add 18.0.0_pre20230810 snapshot (diff) | |
| download | gentoo-e1c84463cec467740f9db18025fafd6c60d53594.tar.gz gentoo-e1c84463cec467740f9db18025fafd6c60d53594.tar.bz2 gentoo-e1c84463cec467740f9db18025fafd6c60d53594.zip | |
dev-ml/ocaml-ctypes: Fix installing ctypes-foreign library
Closes: https://bugs.gentoo.org/911932
Closes: https://bugs.gentoo.org/911944
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'dev-ml/opam-format/files')
0 files changed, 0 insertions, 0 deletions