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
/
ppx_tools_versioned
Commit message (
Expand
)
Author
Age
Files
Lines
*
dev-ml/ppx_tools_versioned: add note re ocaml-migrate-parsetree restriction
Sam James
2021-03-15
1
-0
/
+1
*
dev-ml/ppx_tools_versioned: drop 5.2.2
Sam James
2021-03-15
2
-26
/
+0
*
dev-ml/ppx_tools_versioned: drop 5.0.1
Sam James
2021-03-15
2
-31
/
+0
*
dev-ml/ppx_tools_versioned: version bump to 5.4.0
Alfredo Tupone
2021-03-04
2
-0
/
+25
*
dev-ml/ppx_tools_versioned: version bump
Alfredo Tupone
2021-02-20
2
-0
/
+26
*
*/*: Remove ml@ from packages maintainers
Michał Górny
2019-12-13
1
-5
/
+2
*
dev-ml/*: Update Manifest hashes
Michał Górny
2017-12-09
1
-1
/
+1
*
dev-ml/ppx_tools_versioned: keyword ~x86
Alexis Ballier
2017-08-02
1
-1
/
+1
*
dev-ml/ppx_tools_versioned: keyworded 5.0.1 for ppc, bug #625848
Sergei Trofimovich
2017-07-30
1
-1
/
+1
*
dev-ml/ppx_tools_versioned: keyword ~arm64
Alexis Ballier
2017-07-29
1
-1
/
+1
*
dev-ml/ppx_tools_versioned: keyword ~arm
Alexis Ballier
2017-07-24
1
-1
/
+1
*
dev-ml/ppx_tools_versioned: Remove old
Alexis Ballier
2017-07-24
2
-31
/
+0
*
dev-ml/ppx_tools_versioned: bump to 5.0.1
Alexis Ballier
2017-06-08
2
-0
/
+31
*
Globally add missing remote ID references to metadata.xml
Justin Lecher
2017-04-29
1
-5
/
+8
*
dev-ml/ppx_tools_versioned: Initial import. Ebuild by me.
Alexis Ballier
2017-04-01
3
-0
/
+39