projects
/
gentoo.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
dev-ml/num: add for newer ocaml + coq
[gentoo.git]
/
dev-ml
/
ocaml-re
/
2019-12-13
Michał Górny
*/*: Remove ml@ from packages maintainers
tree
|
commitdiff
2019-12-10
Michał Górny
*/*: [QA] Fix trivial cases of MissingTestRestrict
tree
|
commitdiff
2017-12-09
Michał Górny
dev-ml/*: Update Manifest hashes
tree
|
commitdiff
2017-08-02
Alexis Ballier
dev-ml/ocaml-re: keyword ~x86
tree
|
commitdiff
2017-06-19
Alexis Ballier
dev-ml/ocaml-re: keyword ~arm64
tree
|
commitdiff
2017-04-05
Markus Meier
dev-ml/ocaml-re: add ~arm, bug #611014
tree
|
commitdiff
2017-04-05
Michael Weber
dev-ml/ocaml-re: add ~ppc (bug 527318).
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/ocaml-re: remove old
tree
|
commitdiff
2016-10-21
Alexis Ballier
dev-ml/ocaml-re: bump to 1.7.1
tree
|
commitdiff
2016-10-21
Alexis Ballier
dev-ml/ocaml-re: remove old
tree
|
commitdiff
2016-10-01
Robin H. Johnson
net-misc/iputils: Merge GitHub PR #2289
tree
|
commitdiff
2016-10-01
Robin H. Johnson
sys-block/btrace: Merge GitHub PR #1716
tree
|
commitdiff
2016-09-19
Alexis Ballier
dev-ml/ocaml-re: bump to 1.7.0
tree
|
commitdiff
2016-07-26
Pacho Ramos
Merge remote-tracking branch 'github/pr/1633', bug...
tree
|
commitdiff
2016-06-22
Alexis Ballier
dev-ml/ocaml-re: bump to 1.6.1; re-enable doc useflag
tree
|
commitdiff
2016-06-01
Alexis Ballier
dev-ml/ocaml-re: bump to 1.6.0
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-24
Patrice Clement
Merge github#846: net-p2p/i2p: minor changes.
tree
|
commitdiff
2016-02-22
Patrice Clement
Merge github#845: app-benchmarks/bonnie++: fixes a...
tree
|
commitdiff
2016-02-21
Michał Górny
media-gfx/splash-themes-livecd: Merge gentoo-functions...
tree
|
commitdiff
2016-02-19
Ian Delaney
Merge remote-tracking branch 'remotes/sbraz/jaraco...
tree
|
commitdiff
2016-02-19
Ian Delaney
Merge remote-tracking branch 'remotes/bobbertson/source...
tree
|
commitdiff
2016-02-18
Patrice Clement
Merge remote-tracking branch 'github/pr/851'.
tree
|
commitdiff
2016-02-18
Alexis Ballier
dev-ml/ocaml-re: disable doc building as it does not...
tree
|
commitdiff
2016-02-09
Patrice Clement
Merge remote-tracking branch 'github/pr/707'.
tree
|
commitdiff
2016-02-09
Patrice Clement
Merge remote-tracking branch 'github/pr/718'.
tree
|
commitdiff
2016-02-09
Patrice Clement
Merge remote-tracking branch 'github/pr/755'.
tree
|
commitdiff
2016-02-09
Patrice Clement
Merge remote-tracking branch 'github/pr/805'.
tree
|
commitdiff
2016-02-08
Patrice Clement
Merge remote-tracking branch 'github/pr/372'.
tree
|
commitdiff
2016-02-08
Ian Delaney
Merge remote-tracking branch 'remotes/zpuskas/youtube...
tree
|
commitdiff
2016-02-07
Alexis Ballier
dev-ml/ocaml-re: remove old
tree
|
commitdiff
2016-02-05
Patrice Clement
Merge remote-tracking branch 'github/pr/608'.
tree
|
commitdiff
2016-02-04
Patrice Clement
Merge remote-tracking branch 'github/pr/708'.
tree
|
commitdiff
2016-02-01
Patrice Clement
Merge remote-tracking branch 'github/pr/760'.
tree
|
commitdiff
2016-01-30
Patrice Clement
Merge remote-tracking branch 'github/pr/674'.
tree
|
commitdiff
2016-01-29
Mark Wright
sci-mathematics/rstudio: Thanks to tomboy-64 for fixing...
tree
|
commitdiff
2016-01-25
Patrice Clement
Merge remote-tracking branch 'github/pr/703'. Fixes...
tree
|
commitdiff
2016-01-24
Michał Górny
Merge the GLEP 67 transition changes
tree
|
commitdiff
2016-01-24
Michał Górny
Set appropriate maintainer types in metadata.xml (GLEP 67)
tree
|
commitdiff
2016-01-24
Michał Górny
Replace all herds with appropriate projects (GLEP 67)
tree
|
commitdiff
2016-01-22
Patrice Clement
net-p2p/amule: Resolve merge conflicts.
tree
|
commitdiff
2016-01-18
Patrice Clement
Merge remote-tracking branch 'github/pr/536'.
tree
|
commitdiff
2016-01-12
Patrice Clement
Merge remote-tracking branch 'github/pr/517'.
tree
|
commitdiff
2016-01-10
Ian Delaney
Merge remote-tracking branch 'remotes/mjeveritt/sstp2'
tree
|
commitdiff
2016-01-07
Patrice Clement
Merge remote-tracking branch 'github/pr/550'.
tree
|
commitdiff
2016-01-07
Patrice Clement
Merge remote-tracking branch 'github/pr/603'.
tree
|
commitdiff
2016-01-07
Patrice Clement
Merge remote-tracking branch 'github/pr/618'.
tree
|
commitdiff
2016-01-06
Patrice Clement
Merge remote-tracking branch 'github/pr/611'.
tree
|
commitdiff
2016-01-06
Ian Delaney
Merge remote-tracking branch 'remotes/Coacher/mpv-add...
tree
|
commitdiff
2016-01-06
Ian Delaney
Merge remote-tracking branch 'remotes/Coacher/flacon...
tree
|
commitdiff
2016-01-06
Justin Lecher
Merge branch 'marbre-scikit_learn'
tree
|
commitdiff
2016-01-06
Alexis Ballier
dev-ml/ocaml-re: bump to 1.5.0
tree
|
commitdiff
2015-09-09
Michał Górny
Merge game-action/minetest: Version bump to 0.4.13
tree
|
commitdiff
2015-08-25
Michał Górny
Merge media-sound/spotify: Fix homepage URL
tree
|
commitdiff
2015-08-24
Mike Gilbert
Revert DOCTYPE SYSTEM https changes in metadata.xml
tree
|
commitdiff
2015-08-24
Justin Lecher
Use https by default
tree
|
commitdiff
2015-08-24
Justin Lecher
Use https by default
tree
|
commitdiff
2015-08-09
Robin H. Johnson
proj/gentoo: Initial commit
tree
|
commitdiff