diff options
author | Petr Vaněk <arkamar@gentoo.org> | 2024-05-13 13:41:28 +0200 |
---|---|---|
committer | Petr Vaněk <arkamar@gentoo.org> | 2024-05-13 13:43:22 +0200 |
commit | cebf3e5b3893dfd58974b5bee4fa6bf368d668c2 (patch) | |
tree | d6c8e649432870e4c9c6e9bb2bf90ebf0b5d0f09 /dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild | |
parent | app-office/homebank: add 5.8 (diff) | |
download | gentoo-master.tar.gz gentoo-master.tar.bz2 gentoo-master.zip |
Signed-off-by: Petr Vaněk <arkamar@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild')
0 files changed, 0 insertions, 0 deletions