projects / gentoo.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
dev-ml/*: Remove first set of unneeded leaf packages
[gentoo.git] / dev-ml / cppo /
2019-12-13 Michał Górny*/*: Remove ml@ from packages maintainers tree | commitdiff
2017-12-09 Michał Górnydev-ml/*: Update Manifest hashes tree | commitdiff
2017-07-09 Alexis Ballierdev-ml/cppo: Fix build with USE=-ocamlopt. Bug #624286 tree | commitdiff
2017-06-19 Alexis Ballierdev-ml/cppo: keyword ~arm64 tree | commitdiff
2017-04-25 Alexis Ballierdev-ml/cppo: add ocamlopt useflag tree | commitdiff
2017-04-25 Alexis Ballierdev-ml/cppo: bump to 1.5.0 tree | commitdiff
2017-04-05 Michael WeberRevert "dev-ml/cppo: add ~ppc (bug 527318)." tree | commitdiff
2017-04-05 Michael Weberdev-ml/cppo: add ~ppc (bug 527318). tree | commitdiff
2017-03-15 Alexis Ballierdev-ml/cppo: keyword ~arm tree | commitdiff
2017-02-28 Robin H. JohnsonDrop $Id$ per council decision in bug #611234. tree | commitdiff
2017-02-23 Michael Weberdev-ml/cppo: ppc stable (bug 586910). tree | commitdiff
2017-02-23 Michael Weberdev-ml/cppo: Add ~ppc keyword (bug 586910). tree | commitdiff
2017-02-16 Agostino Sarubbodev-ml/cppo: x86 stable wrt bug #586910 tree | commitdiff
2017-02-16 Agostino Sarubbodev-ml/cppo: amd64 stable wrt bug #586910 tree | commitdiff
2017-01-26 T. Malfattimedia-libs/portaudio: Version bump tree | commitdiff
2017-01-25 Amadeusz ŻołnowskiMerge remote-tracking branch 'github/pr/3411' tree | commitdiff
2017-01-24 Alexis Ballierdev-ml/cppo: remove old tree | commitdiff
2016-11-19 Robin H. JohnsonMerge remote-tracking branch 'github/pr/2627' tree | commitdiff
2016-11-10 Alexis Ballierdev-ml/cppo: bump to 1.4.1 tree | commitdiff
2016-10-01 Robin H. Johnsonsys-block/btrace: Merge GitHub PR #1716 tree | commitdiff
2016-08-19 Alexis Ballierdev-ml/cppo: bump to 1.4.0 tree | commitdiff
2016-04-22 Alexis Ballierdev-ml/cppo: bump to 1.3.2 tree | commitdiff
2016-03-20 Andrew SavchenkoMerge remote-tracking branch 'remotes/github/pr/975' tree | commitdiff
2016-03-08 Patrice ClementMerge github#785: net-libs/nodejs: removal tree | commitdiff
2016-03-08 Patrice ClementMerge github#363: sys-process/atop: add systemd support tree | commitdiff
2016-03-07 Patrice ClementMerge github#758: media-sound/mpd: fix the systemd... tree | commitdiff
2016-03-07 Ian DelaneyMerge remote-tracking branch 'remotes/sbraz/syncthing' tree | commitdiff
2016-03-07 Patrice ClementMerge github#920: app-arch/zopfli: Version bump 1.0.1. tree | commitdiff
2016-03-07 Ian DelaneyMerge remote-tracking branch 'remotes/sbraz/pysrt' tree | commitdiff
2016-03-06 Alexandre RostovtsevMerge remote-tracking branch 'remotes/github/pr/979' tree | commitdiff
2016-03-05 Patrice ClementMerge github#980: dev-perl/crypt-*: fix names. tree | commitdiff
2016-03-05 Patrice ClementMerge github#965: net-misc/strongswan: plugin unbound... tree | commitdiff
2016-03-05 Patrice ClementMerge github#971: media-libs/ffmpegsource: add subslot... tree | commitdiff
2016-03-05 Patrice ClementMerge github#978: Minor metadata fixes tree | commitdiff
2016-03-05 Patrice ClementMerge github#977: dev-util/idea-ultimate: Version bump. tree | commitdiff
2016-03-05 Alexis Ballierdev-ml/cppo: ocamlbuild is a rdep too, bug #576454 tree | commitdiff
2016-03-04 Ian DelaneyMerge remote-tracking branch 'remotes/PPed72/net-p2p... tree | commitdiff
2016-03-01 Patrice ClementMerge github#955: app-editors/gummi: minor fixes tree | commitdiff
2016-03-01 Alexis Ballierdev-ml/cppo: add ocamlbuild dep tree | commitdiff
2016-02-21 Michał Górnymedia-gfx/splash-themes-livecd: Merge gentoo-functions... tree | commitdiff
2016-02-09 Patrice ClementMerge remote-tracking branch 'github/pr/805'. tree | commitdiff
2016-02-08 Patrice ClementMerge remote-tracking branch 'github/pr/372'. tree | commitdiff
2016-02-06 Alexis Ballierdev-ml/cppo: add proper subslot tree | commitdiff
2016-02-06 Alexis Ballierdev-ml/cppo: remove old tree | commitdiff
2016-02-05 Patrice ClementMerge remote-tracking branch 'github/pr/608'. tree | commitdiff
2016-02-04 Patrice ClementMerge remote-tracking branch 'github/pr/708'. tree | commitdiff
2016-02-01 Patrice ClementMerge remote-tracking branch 'github/pr/760'. tree | commitdiff
2016-01-30 Patrice ClementMerge remote-tracking branch 'github/pr/674'. tree | commitdiff
2016-01-29 Mark Wrightsci-mathematics/rstudio: Thanks to tomboy-64 for fixing... tree | commitdiff
2016-01-25 Patrice ClementMerge remote-tracking branch 'github/pr/703'. Fixes... tree | commitdiff
2016-01-24 Michał GórnyMerge the GLEP 67 transition changes tree | commitdiff
2016-01-24 Michał GórnySet appropriate maintainer types in metadata.xml (GLEP 67) tree | commitdiff
2016-01-24 Michał GórnyReplace all herds with appropriate projects (GLEP 67) tree | commitdiff
2015-10-05 Markos ChandrasMerge remote-tracking branch 'jirutka/lxc-grsec' tree | commitdiff
2015-10-03 Michał Górnydev-db/postgresql: Merge "use /bin/sh (...) for postgre... tree | commitdiff
2015-09-29 Patrice ClementMerge remote-tracking branch 'remotes/github/pr/116'. tree | commitdiff
2015-09-29 Patrice ClementMerge 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 ClementMerge remote-tracking branch 'remotes/github/pr/120'. tree | commitdiff
2015-09-23 Patrice ClementMerge remote-tracking branch 'remotes/github/pr/121'. tree | commitdiff
2015-09-21 Alexis Ballierdev-ml/cppo: bump to 1.3.1. tree | commitdiff
2015-09-21 Alexis Ballierdev-ml/cppo: remove old. tree | commitdiff
2015-09-16 Justin LecherMerge branch 'marbre-glm' tree | commitdiff
2015-09-16 Justin LecherAdd remote-id tree | commitdiff
2015-09-15 Julian OspaldMerge branch 'gentoo-bug-542168' of git://github.com... tree | commitdiff
2015-09-14 Alexis Ballierdev-ml/cppo: bump to 1.3.0. tree | commitdiff
2015-08-25 Michał GórnyMerge media-sound/spotify: Fix homepage URL tree | commitdiff
2015-08-24 Mike GilbertRevert DOCTYPE SYSTEM https changes in metadata.xml tree | commitdiff
2015-08-24 Justin LecherUse https by default tree | commitdiff
2015-08-09 Robin H. Johnsonproj/gentoo: Initial commit tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.