Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_log
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/ppx_log: add 0.16.0Alfredo Tupone2023-06-302-0/+26
* dev-ml/ppx_log: Keyword 0.15.0-r1 ppc64, #892131Arthur Zamarin2023-06-151-1/+1
* dev-ml/ppx_log: Keyword 0.15.0-r1 ppc, #892131Arthur Zamarin2023-06-151-1/+1
* dev-ml/ppx_log: Stabilize 0.15.0-r1 x86, #901577Arthur Zamarin2023-03-251-1/+1
* dev-ml/ppx_log: Stabilize 0.15.0-r1 arm, #901577Arthur Zamarin2023-03-251-1/+1
* dev-ml/ppx_log: Stabilize 0.15.0-r1 arm64, #901577Arthur Zamarin2023-03-251-1/+1
* dev-ml/ppx_log: stabilize 0.15.0-r1 for amd64Alfredo Tupone2023-03-161-1/+1
* dev-ml/ppx_log: Keyword 0.15.0-r1 arm, #892131Sam James2023-02-241-1/+1
* dev-ml/ppx_log: Keyword 0.15.0-r1 arm64, #892131Sam James2023-02-241-1/+1
* dev-ml/ppx_log: Keyword 0.15.0-r1 x86, #892131Arthur Zamarin2023-02-201-1/+1
* dev-ml/ppx_log: Keyword 0.15.0-r1 riscv, #892131Yixun Lan2023-02-101-1/+1
* dev-ml/ppx_log: add ppxlib depAlfredo Tupone2023-02-101-1/+2
* dev-ml/ppx_log: add to treeAlfredo Tupone2022-04-253-0/+34