projects
/
gentoo.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
app-accessibility/at-spi2-atk: ppc stable wrt bug #717144
[gentoo.git]
/
dev-ml
/
ppx_bench
/
2019-12-13
Michał Górny
*/*: Remove ml@ from packages maintainers
tree
|
commitdiff
2017-12-09
Michał Górny
dev-ml/*: Update Manifest hashes
tree
|
commitdiff
2017-09-22
Alexis Ballier
dev-ml/ppx_bench: update to opam.eclass
tree
|
commitdiff
2017-09-22
Alexis Ballier
dev-ml/ppx_bench: Remove old
tree
|
commitdiff
2017-05-13
Michał Górny
dev-ml/ppx_bench: [QA] Fix DoubleEmptyLine
tree
|
commitdiff
2017-04-29
Justin Lecher
Globally add missing remote ID references to metadata.xml
tree
|
commitdiff
2017-04-18
Alexis Ballier
dev-ml/ppx_bench: bump to 0.9.1
tree
|
commitdiff
2017-04-02
Alexis Ballier
dev-ml/ppx_bench: Bump to 0.9.0
tree
|
commitdiff
2017-02-28
Robin H. Johnson
Drop $Id$ per council decision in bug #611234.
tree
|
commitdiff
2017-01-26
T. Malfatti
media-libs/portaudio: Version bump
tree
|
commitdiff
2017-01-25
Amadeusz Żołnowski
Merge remote-tracking branch 'github/pr/3411'
tree
|
commitdiff
2017-01-24
Alexis Ballier
dev-ml/ppx_bench: remove old
tree
|
commitdiff
2016-05-03
Alexis Ballier
dev-ml/ppx_bench: bump to 4.03
tree
|
commitdiff
2016-03-24
Sven Wegener
Merge remote-tracking branch 'github/pr/1091'
tree
|
commitdiff
2016-03-22
Alexis Ballier
dev-ml/ppx_bench: bump to 113.33.00
tree
|
commitdiff
2016-03-08
Patrice Clement
Merge github#785: net-libs/nodejs: removal
tree
|
commitdiff
2016-03-08
Patrice Clement
Merge github#363: sys-process/atop: add systemd support
tree
|
commitdiff
2016-03-07
Patrice Clement
Merge github#758: media-sound/mpd: fix the systemd...
tree
|
commitdiff
2016-03-07
Ian Delaney
Merge remote-tracking branch 'remotes/sbraz/pysrt'
tree
|
commitdiff
2016-02-21
Michał Górny
media-gfx/splash-themes-livecd: Merge gentoo-functions...
tree
|
commitdiff
2016-02-08
Patrice Clement
Merge remote-tracking branch 'github/pr/372'.
tree
|
commitdiff
2016-02-06
Ian Delaney
Merge remote-tracking branch 'remotes/sbraz/pymediainfo'
tree
|
commitdiff
2016-02-06
Patrice Clement
Merge remote-tracking branch 'github/pr/301'.
tree
|
commitdiff
2016-02-06
Patrice Clement
Merge remote-tracking branch 'github/pr/790'.
tree
|
commitdiff
2016-02-06
Patrice Clement
Merge remote-tracking branch 'github/pr/783'.
tree
|
commitdiff
2016-02-06
Patrice Clement
Merge remote-tracking branch 'github/pr/795'.
tree
|
commitdiff
2016-02-05
Alexis Ballier
dev-ml/ppx_bench: initial import; ebuild by me
tree
|
commitdiff