projects
/
gentoo.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
dev-ml/camlp4: restricted ocaml versions in deps
[gentoo.git]
/
dev-ml
/
extlib
/
2019-12-29
Mikle Kolyada
dev-ml/extlib: Version bump (v1.7.6)
tree
|
commitdiff
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-06-22
Alexis Ballier
dev-ml/extlib: keyword ~arm64
tree
|
commitdiff
2017-04-05
Markus Meier
dev-ml/extlib: add ~arm, bug #611014
tree
|
commitdiff
2017-04-01
Alexis Ballier
dev-ml/extlib: bump to 1.7.2
tree
|
commitdiff
2017-03-27
Alexis Ballier
dev-ml/extlib: Fix build with ocaml 4.05
tree
|
commitdiff
2017-02-28
Robin H. Johnson
Drop $Id$ per council decision in bug #611234.
tree
|
commitdiff
2017-02-23
Alexis Ballier
dev-ml/extlib: remove old
tree
|
commitdiff
2017-02-23
Michael Weber
dev-ml/extlib: ppc stable (bug 586910).
tree
|
commitdiff
2017-02-23
Michael Weber
dev-ml/extlib: Add ~ppc keyword (bug 586910).
tree
|
commitdiff
2017-02-16
Agostino Sarubbo
dev-ml/extlib: x86 stable wrt bug #586910
tree
|
commitdiff
2017-02-16
Agostino Sarubbo
dev-ml/extlib: amd64 stable wrt bug #586910
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/extlib: remove old
tree
|
commitdiff
2016-11-19
Robin H. Johnson
Merge remote-tracking branch 'github/pr/2627'
tree
|
commitdiff
2016-11-15
Alexis Ballier
dev-ml/extlib: bump to 1.7.1
tree
|
commitdiff
2016-10-01
Robin H. Johnson
sys-block/btrace: Merge GitHub PR #1716
tree
|
commitdiff
2016-07-26
Pacho Ramos
Merge remote-tracking branch 'github/pr/1633', bug...
tree
|
commitdiff
2016-06-29
Michał Górny
dev-ml/extlib: Drop non-camlp4 support, #586910
tree
|
commitdiff
2016-06-23
Alexis Ballier
Revert "dev-ml/*: Remove := slot ops from || deps,...
tree
|
commitdiff
2016-06-21
Michał Górny
dev-ml/*: Remove := slot ops from || deps, #586304
tree
|
commitdiff
2016-03-08
Patrice Clement
Merge github#363: sys-process/atop: add systemd support
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-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
2015-10-05
Markos Chandras
Merge remote-tracking branch 'jirutka/lxc-grsec'
tree
|
commitdiff
2015-10-03
Michał Górny
dev-db/postgresql: Merge "use /bin/sh (...) for postgre...
tree
|
commitdiff
2015-09-29
Patrice Clement
Merge remote-tracking branch 'remotes/github/pr/52'.
tree
|
commitdiff
2015-09-27
Andreas K. Huettel...
Merge remote-tracking branch 'github/pr/135'
tree
|
commitdiff
2015-09-23
Patrice Clement
Merge remote-tracking branch 'remotes/github/pr/120'.
tree
|
commitdiff
2015-09-23
Patrice Clement
Merge remote-tracking branch 'remotes/github/pr/121'.
tree
|
commitdiff
2015-09-20
Andreas K. Huettel...
Merge remote-tracking branch 'github/pr/107'
tree
|
commitdiff
2015-09-19
Alexis Ballier
dev-ml/extlib: Fix deps. Upstream switched from camlp4...
tree
|
commitdiff
2015-09-16
Justin Lecher
Merge branch 'marbre-glm'
tree
|
commitdiff
2015-09-16
Justin Lecher
Add remote-id
tree
|
commitdiff
2015-09-15
Julian Ospald
Merge branch 'gentoo-bug-542168' of git://github.com...
tree
|
commitdiff
2015-09-14
Alexis Ballier
dev-ml/extlib: bump to 1.7.0 and switch to github.
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
Convert URIs for googlecode.com to https
tree
|
commitdiff
2015-08-24
Justin Lecher
Enable https for all google URIs
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