Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
dev-ml
/
ppx_optional
Pattern matching on flat options
https://github.com/janestreet/ppx_optional
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Latest Commits
Commits on Oct 19, 2022
dev-ml/ppx_optional: adj deps
1e20391
Alfredo Tupone
committed on 19 Oct 2022 20:41:26
ppx_optional-0.14.0.ebuild
Commits on Apr 25, 2022
dev-ml/ppx_optional: 0.15.0 bump
2ed0517
Alfredo Tupone
committed on 25 Apr 2022 17:11:22
ppx_optional-0.15.0.ebuild
Manifest
Commits on Apr 18, 2022
dev-ml/ppx_optional: Keyword 0.14.0 riscv, #835392
65aba6e
Yongxiang Liang
authored
and
Jakov Smolić
committed on 18 Apr 2022 21:05:22
ppx_optional-0.14.0.ebuild
Commits on Mar 03, 2022
dev-ml/ppx_optional: destabilise for ppc
d08711b
Sam James
authored
and
David Seifert
committed on 3 Mar 2022 21:18:52
ppx_optional-0.14.0.ebuild
Commits on Jan 24, 2022
dev-ml: add ml@gentoo.org as mantainer
9cbed67
Alfredo Tupone
committed on 24 Jan 2022 21:12:35
metadata.xml
Commits on Sep 11, 2021
**/metadata.xml: Replace http by https in DOCTYPE element
38b155f
Ulrich Müller
committed on 11 Sep 2021 13:22:48
metadata.xml