dev-ml/num: add for newer ocaml + coq
[gentoo.git] / dev-ml / ocamlbuild /
2019-12-27 Jason A. Donenfelddev-ml/ocamlbuild: bump to 0.14.0
2019-12-13 Michał Górny*/*: Remove ml@ from packages maintainers
2019-12-10 Michał Górny*/*: [QA] Fix trivial cases of MissingTestRestrict
2019-10-11 Michał Górnydev-ml: Remove *-fbsd KEYWORDS
2017-12-09 Michał Górnydev-ml/*: Update Manifest hashes
2017-07-07 Alexis Ballierdev-ml/ocamlbuild: add missing findlib test dep, bug...
2017-06-19 Alexis Ballierdev-ml/ocamlbuild: keyword ~arm64
2017-04-29 Justin LecherGlobally add missing remote ID references to metadata.xml
2017-03-09 Alexis Ballierdev-ml/ocamlbuild: Bump to 0.11.0
2017-02-28 Robin H. JohnsonDrop $Id$ per council decision in bug #611234.
2017-02-23 Michael Weberdev-ml/ocamlbuild: ppc stable (bug 586910).
2017-02-23 Michael Weberdev-ml/ocamlbuild: Add ~ppc keyword (bug 586910).
2017-02-12 Markus Meierdev-ml/ocamlbuild: arm stable, bug #581946
2017-01-29 Jeroen Rooversdev-ml/ocamlbuild: Stable for HPPA (bug #581946).
2017-01-26 T. Malfattimedia-libs/portaudio: Version bump
2017-01-26 Agostino Sarubbodev-ml/ocamlbuild: ia64 stable wrt bug #581946
2017-01-26 Agostino Sarubbodev-ml/ocamlbuild: ppc stable wrt bug #581946
2017-01-26 Agostino Sarubbodev-ml/ocamlbuild: sparc stable wrt bug #581946
2017-01-25 Amadeusz ŻołnowskiMerge remote-tracking branch 'github/pr/3411'
2017-01-25 Tobias Klausmanndev-ml/ocamlbuild-0.10.1-r0: stable on alpha
2017-01-25 Agostino Sarubbodev-ml/ocamlbuild: ppc64 stable wrt bug #581946
2017-01-25 Agostino Sarubbodev-ml/ocamlbuild: x86 stable wrt bug #581946
2017-01-25 Agostino Sarubbodev-ml/ocamlbuild: amd64 stable wrt bug #581946
2017-01-24 Alexis Ballierdev-ml/ocamlbuild: remove old
2016-12-27 Alexis Ballierdev-ml/ocamlbuild: bump to 0.10.1
2016-10-07 Thomas Deutschmanndev-ml/ocamlbuild: DESCRIPTION improved
2016-10-07 Alexis Ballierdev-ml/ocamlbuild: bump to 0.9.3
2016-05-03 Alexis Ballierdev-ml/ocamlbuild: remove old
2016-05-03 Alexis Ballierdev-ml/ocamlbuild: bump to 0.9.2
2016-03-20 Andrew SavchenkoMerge remote-tracking branch 'remotes/github/pr/975'
2016-03-08 Patrice ClementMerge github#785: net-libs/nodejs: removal
2016-03-08 Patrice ClementMerge github#363: sys-process/atop: add systemd support
2016-03-08 Ian DelaneyMerge remote-tracking branch 'remotes/sbraz/unittest++'
2016-03-08 Patrice ClementMerge github#985: app-backup/snapper: update to reflect...
2016-03-08 Alexandre RostovtsevMerge remote-tracking branch 'remotes/github/pr/910'
2016-03-08 Ian DelaneyMerge remote-tracking branch 'remotes/Coacher/aegisub...
2016-03-08 Ian DelaneyMerge remote-tracking branch 'remotes/sbraz/syncthing'
2016-03-07 Patrice ClementMerge github#758: media-sound/mpd: fix the systemd...
2016-03-07 Alexis BallierMerge remote-tracking branch 'remotes/github/pr/1003'
2016-03-07 Alexis Ballierdev-ml/ocamlbuild: add blocker against findlib versions...
2016-03-07 Patrice ClementMerge github#920: app-arch/zopfli: Version bump 1.0.1.
2016-03-07 Ian DelaneyMerge remote-tracking branch 'remotes/sbraz/pysrt'
2016-03-04 Ian DelaneyMerge remote-tracking branch 'remotes/PPed72/net-p2p...
2016-03-01 Patrice ClementMerge github#955: app-editors/gummi: minor fixes
2016-03-01 Alexis Ballierdev-ml/ocamlbuild: initial import; split out of dev...