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
/
ocamlgraph
Commit message (
Expand
)
Author
Age
Files
Lines
*
dev-ml/*: Update Manifest hashes
Michał Górny
2017-12-09
1
-2
/
+2
*
dev-ml/ocamlgraph: [QA] Consistent whitespace in metadata.xml
David Seifert
2017-11-26
1
-7
/
+7
*
dev-ml/ocamlgraph: bump to 1.8.8
Alexis Ballier
2017-10-18
2
-0
/
+58
*
dev-ml/ocamlgraph: keyword ~arm64
Alexis Ballier
2017-06-22
1
-1
/
+1
*
dev-ml/ocamlgraph: add remoteid on the github mirror
Alexis Ballier
2017-04-27
1
-0
/
+3
*
dev-ml/ocamlgraph: add ~arm, bug #611014
Markus Meier
2017-04-05
1
-1
/
+1
*
Drop $Id$ per council decision in bug #611234.
Robin H. Johnson
2017-02-28
1
-1
/
+0
*
dev-ml/ocamlgraph: Apply upstream patch to fix make check with ocaml 4.04. Bu...
Alexis Ballier
2017-02-14
2
-0
/
+20
*
dev-ml/ocamlgraph: remove old
Alexis Ballier
2017-01-26
3
-78
/
+0
*
dev-ml/ocamlgraph: ppc stable wrt bug #607038
Agostino Sarubbo
2017-01-26
1
-1
/
+1
*
dev-ml/ocamlgraph: x86 stable wrt bug #607038
Agostino Sarubbo
2017-01-25
1
-2
/
+2
*
dev-ml/ocamlgraph: remove old
Alexis Ballier
2016-12-13
4
-164
/
+0
*
dev-ml/ocamlgraph: restore keywords on 1.8.7 now that dose3 is fixed
Alexis Ballier
2016-04-22
1
-2
/
+1
*
dev-ml/ocamlgraph: bump to 1.8.7; without keywords because it breaks dose3
Alexis Ballier
2016-04-21
2
-0
/
+64
*
Set appropriate maintainer types in metadata.xml (GLEP 67)
Michał Górny
2016-01-24
1
-1
/
+1
*
Replace all herds with appropriate projects (GLEP 67)
Michał Górny
2016-01-24
1
-1
/
+4
*
dev-ml/ocamlgraph: bump to 1.8.6
Alexis Ballier
2016-01-19
3
-0
/
+101
*
Revert DOCTYPE SYSTEM https changes in metadata.xml
Mike Gilbert
2015-08-24
1
-1
/
+1
*
Use https by default
Justin Lecher
2015-08-24
1
-1
/
+1
*
proj/gentoo: Initial commit
Robin H. Johnson
2015-08-08
6
-0
/
+184