diff options
author | Maciej Barć <xgqt@gentoo.org> | 2023-01-24 18:44:57 +0100 |
---|---|---|
committer | Maciej Barć <xgqt@gentoo.org> | 2023-01-24 19:16:56 +0100 |
commit | 95510122348378b3b9623f6c28ddc43db8e4e9e3 (patch) | |
tree | 4973f03dbf09a0c51fec406f341228f824314b18 /dev-ada | |
parent | dev-python/hypothesis: Remove myself from maintainers (diff) | |
download | gentoo-95510122348378b3b9623f6c28ddc43db8e4e9e3.tar.gz gentoo-95510122348378b3b9623f6c28ddc43db8e4e9e3.tar.bz2 gentoo-95510122348378b3b9623f6c28ddc43db8e4e9e3.zip |
dev-ml/ocaml_intrinsics: bump to 0.15.2
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-ada')
0 files changed, 0 insertions, 0 deletions