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/gentoo.git
master
Official Gentoo ebuild repository
Infrastructure team <infrastructure@gentoo.org>
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dev-ml
/
stdlib-shims
Commit message (
Expand
)
Author
Age
Files
Lines
*
dev-ml/stdlib-shims: enable +ocamlopt by default
Sam James
2021-10-02
2
-2
/
+2
*
**/metadata.xml: Replace http by https in DOCTYPE element
Ulrich Müller
2021-09-11
1
-1
/
+1
*
*/*: Add proxied="yes" for non-@gentoo.org people
Michał Górny
2021-03-16
1
-1
/
+1
*
*/*: Add 'proxied="proxy"' for proxy-maint project
Michał Górny
2021-03-16
1
-1
/
+1
*
dev-ml/stdlib-shims: Stabilize 0.2.0 arm64, #772833
Sam James
2021-03-14
1
-1
/
+1
*
dev-ml/stdlib-shims: Stabilize 0.2.0 arm, #772833
Sam James
2021-03-14
1
-1
/
+1
*
dev-ml/stdlib-shims: Stabilize 0.2.0 ppc, #769317
Sam James
2021-02-11
1
-1
/
+1
*
dev-ml/stdlib-shims: Stabilize 0.2.0 x86, #769317
Sam James
2021-02-11
1
-1
/
+1
*
dev-ml/stdlib-shims: Stabilize 0.2.0 amd64, #769317
Sam James
2021-02-10
1
-1
/
+1
*
dev-ml/stdlib-shims: Stabilize 0.2.0 ppc64, #769317
Sam James
2021-02-10
1
-2
/
+2
*
dev-ml/stdlib-shims: bump to 0.3.0
Sam James
2021-02-08
2
-0
/
+18
*
dev-ml/stdlib-shims: ppc64 keyworded (bug #748576)
Sam James
2020-10-28
1
-1
/
+1
*
dev-ml/stdlib-shims: Keyword 0.2.0 ppc, #748576
Sam James
2020-10-24
1
-1
/
+1
*
dev-ml/stdlib-shims: Add ~arm ~arm64 KEYWORDS from ml-overlay
Mark Wright
2020-10-13
1
-1
/
+1
*
dev-ml/stdlib-shims: new package 0.2.0
Rafael Kitover
2020-06-24
3
-0
/
+44