Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml/ppxlib
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/ppxlib: remove whitespace, fix indentMichael Mair-Keimberger2021-02-124-7/+7
* dev-ml/ppxlib: Stabilize 0.20.0 ppc, #769317Sam James2021-02-111-1/+1
* dev-ml/ppxlib: Stabilize 0.20.0 x86, #769317Sam James2021-02-111-1/+1
* dev-ml/ppxlib: Stabilize 0.20.0 amd64, #769317Sam James2021-02-101-1/+1
* dev-ml/ppxlib: Stabilize 0.20.0 ppc64, #769317Sam James2021-02-101-1/+1
* dev-ml/ppxlib: add blocker on nss[utils] for nowSam James2021-02-092-0/+4
* dev-ml/ppxlib: bump to 0.22.0Sam James2021-02-082-0/+34
* dev-ml/ppxlib: bump to 0.21.0Sam James2021-01-242-0/+34
* dev-ml/ppxlib: add ml@Sam James2021-01-241-0/+4
* dev-ml/ppxlib: version bump to 0.20.0Alfredo Tupone2021-01-162-0/+30
* dev-ml/ppxlib: ppc64 keyworded (bug #748576)Sam James2020-10-281-1/+1
* dev-ml/ppxlib: Keyword 0.18.0 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/ppxlib: Fix depsMark Wright2020-10-171-4/+6
* dev-ml/ppxlib: Add RDEPEND dev-ml/findlib:=Mark Wright2020-10-161-0/+1
* dev-ml/ppxlib: Fix QA MissingTestRestrictMark Wright2020-10-151-0/+1
* dev-ml/ppxlib: Dependency of dev-ml/ppx_baseMark Wright2020-10-133-0/+41