diff options
| author | Alfredo Tupone <tupone@gentoo.org> | 2025-04-15 11:10:44 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2025-04-15 20:33:26 +0200 |
| commit | 020cd32029f08397bd9da902e9f66e99a681829f (patch) | |
| tree | 0cdfa7975a459050c93aa498fdb83d53299f19ee /dev-ml/base_quickcheck | |
| parent | 75fe1506e63add174d26dcef21c2448c17145314 (diff) | |
| download | gentoo-020cd32029f08397bd9da902e9f66e99a681829f.tar.gz gentoo-020cd32029f08397bd9da902e9f66e99a681829f.tar.bz2 gentoo-020cd32029f08397bd9da902e9f66e99a681829f.zip | |
dev-ml/ppx_optional: drop 0.14.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/base_quickcheck')
0 files changed, 0 insertions, 0 deletions