GitWeb
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Gentoo Repository
Repositories
Projects
Developer Overlays
User Overlays
Data
Websites
index
:
repo/sync/gentoo.git
master
stable
Sync-friendly git mirror of repo/gentoo with caches and metadata
Michał Górny <mgorny@gentoo.org>
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dev-ml
/
ppxlib
Commit message (
Expand
)
Author
Age
Files
Lines
*
*/*: Normalize metadata.xml files
Michał Górny
2021-03-16
1
-1
/
+1
*
dev-ml/ppxlib: Stabilize 0.20.0 arm64, #772833
Sam James
2021-03-14
1
-1
/
+1
*
dev-ml/ppxlib: Stabilize 0.20.0 arm, #772833
Sam James
2021-03-14
1
-1
/
+1
*
dev-ml/ppxlib: move some dep under test ?
Alfredo Tupone
2021-03-01
1
-3
/
+4
*
dev-ml/ppxlib: remove whitespace, fix indent
Michael Mair-Keimberger
2021-02-12
4
-7
/
+7
*
dev-ml/ppxlib: Stabilize 0.20.0 ppc, #769317
Sam James
2021-02-11
1
-1
/
+1
*
dev-ml/ppxlib: Stabilize 0.20.0 x86, #769317
Sam James
2021-02-11
1
-1
/
+1
*
dev-ml/ppxlib: Stabilize 0.20.0 amd64, #769317
Sam James
2021-02-10
1
-1
/
+1
*
dev-ml/ppxlib: Stabilize 0.20.0 ppc64, #769317
Sam James
2021-02-10
1
-1
/
+1
*
dev-ml/ppxlib: add blocker on nss[utils] for now
Sam James
2021-02-09
2
-0
/
+4
*
dev-ml/ppxlib: bump to 0.22.0
Sam James
2021-02-08
2
-0
/
+34
*
dev-ml/ppxlib: bump to 0.21.0
Sam James
2021-01-24
2
-0
/
+34
*
dev-ml/ppxlib: add ml@
Sam James
2021-01-24
1
-0
/
+4
*
dev-ml/ppxlib: version bump to 0.20.0
Alfredo Tupone
2021-01-16
2
-0
/
+30
*
dev-ml/ppxlib: ppc64 keyworded (bug #748576)
Sam James
2020-10-28
1
-1
/
+1
*
dev-ml/ppxlib: Keyword 0.18.0 ppc, #748576
Sam James
2020-10-24
1
-1
/
+1
*
dev-ml/ppxlib: Fix deps
Mark Wright
2020-10-17
1
-4
/
+6
*
dev-ml/ppxlib: Add RDEPEND dev-ml/findlib:=
Mark Wright
2020-10-16
1
-0
/
+1
*
dev-ml/ppxlib: Fix QA MissingTestRestrict
Mark Wright
2020-10-15
1
-0
/
+1
*
dev-ml/ppxlib: Dependency of dev-ml/ppx_base
Mark Wright
2020-10-13
3
-0
/
+41