Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_ignore_instrumentation
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/ppx_ignore_instrumentation: add 0.16.0Alfredo Tupone2023-07-022-0/+20
* dev-ml/ppx_ignore_instrumentation: Keyword 0.15.0-r1 ppc64, #892131Arthur Zamarin2023-06-151-1/+1
* dev-ml/ppx_ignore_instrumentation: Keyword 0.15.0-r1 ppc, #892131Arthur Zamarin2023-06-151-1/+1
* dev-ml/ppx_ignore_instrumentation: Stabilize 0.15.0-r1 arm64, #901571Arthur Zamarin2023-03-241-1/+1
* dev-ml/ppx_ignore_instrumentation: Stabilize 0.15.0-r1 arm, #901571Arthur Zamarin2023-03-171-1/+1
* dev-ml/ppx_ignore_instrumentation: Stabilize 0.15.0-r1 x86, #901571Arthur Zamarin2023-03-171-1/+1
* dev-ml/ppx_ignore_instrumentation: stabilize 0.15.0-r1 for amd64Alfredo Tupone2023-03-161-1/+1
* dev-ml/ppx_ignore_instrumentation: Keyword 0.15.0-r1 arm, #892131Sam James2023-02-241-1/+1
* dev-ml/ppx_ignore_instrumentation: Keyword 0.15.0-r1 arm64, #892131Sam James2023-02-241-1/+1
* dev-ml/ppx_ignore_instrumentation: Keyword 0.15.0-r1 x86, #892131Arthur Zamarin2023-02-201-1/+1
* dev-ml/ppx_ignore_instrumentation: Keyword 0.15.0-r1 riscv, #892131Yixun Lan2023-02-101-2/+2
* dev-ml/ppx_ignore_instrumentation: fix OCaml depSam James2022-06-211-1/+1
* dev-ml/ppx_ignore_instrumentation: add to treeAlfredo Tupone2022-04-253-0/+31