Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
aboutsummaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* Drop leftover from CVS in HEADERJustin Lecher2017-02-252-2/+0
* dev-ml/zarith: remove since in main treeGuillaume Horel2016-06-053-73/+0
* dev-ml/zarith: fix src_prepare()Andrew Savchenko2016-06-041-0/+1
* dev-ml/gsl-ocaml: remove from overlay, latest version added to main treeDavid Seifert2016-02-153-43/+0
* dev-ml/zarith: Chop DESCRIPTION to 80 charsJustin Lecher2016-02-101-3/+3
* metadata.xml: Set typeJustin Lecher2016-01-254-4/+4
* metadata.xml: convert hard -> projJustin Lecher2016-01-254-4/+16
* matadata.xml: Pre CleanupJustin Lecher2016-01-251-1/+1
* Drop ChangeLogs in favour of commit messagesJustin Lecher2016-01-074-94/+0
* Update remote-idsJustin Lecher2015-10-161-2/+5
* dev-ml/lacaml: Bump to EAPI=5Justin Lecher2015-09-231-2/+2
* Convert all $Header$ to $Id$ tags as it has be done in gentoo.gitJustin Lecher2015-08-178-8/+8
* Revert "Gentoo does https by default now"Justin Lecher2015-06-214-4/+4
* Gentoo does https by default nowJustin Lecher2015-06-214-4/+4
* dev-ml/gsl-ocaml: Bump EAPI=5Justin Lecher2015-06-072-3/+6
* dev-ml/gsl-ocaml: Add bitbucket to remote-id in metadata.xmlJustin Lecher2015-06-072-4/+9
* In CVSJustin Lecher2015-04-165-152/+0
* dev-ml/zarith: fix SLOT operators; fix usage of dieJustin Lecher2015-02-183-18/+25
* dev-ml/mlgmpidl: fix SLOT operators; fix usage of die; correct depsJustin Lecher2015-02-183-33/+34
* clean upChristoph Junghans2014-09-162-10/+11
* dev-ml/zarith: silence repomanJauhien Piatlicki2014-09-041-0/+4
* fix Manifests: thin-manifestsJauhien Piatlicki2014-08-313-11/+0
* dev-ml/zarith-1.2.1: fix doc buildingJonathan-Christofer Demay2014-07-202-2/+4
* Fix manifests regressionJonathan-Christofer Demay2014-07-193-0/+11
* Several DESTDIR fixesJonathan-Christofer Demay2014-07-195-15/+4
* multiple move to EAPI=5 and regression fixesJonathan-Christofer Demay2014-06-2210-67/+63
* fix pkg_setup regressionJonathan-Christofer Demay2014-06-222-5/+18
* zarith no longer asks ocamlc for libdirJonathan-Christofer Demay2014-06-222-12/+14
* multiple version bumpsJonathan-Christofer Demay2014-06-2213-99/+140
* Sanitize ebuild headerJustin Lecher2014-01-305-5/+5
* big fixes of metadata and package sub-herd re-distributionSébastien Fabbro2013-06-183-54/+36
* manifests fixesSébastien Fabbro2013-06-132-9/+1
* dev-ml/zarith: Clean wrong space and blank lines; move EAPI=5Justin Lecher2013-03-034-26/+27
* dev-ml/lacaml: Use tc-getPKG_CONFIG from toolchain-funcs.eclass instead of pl...Justin Lecher2013-02-223-8/+14
* Revert "dev-ml/lacaml: Use tc-getPKG_CONFIG from toolchain-funcs.eclass inste...Justin Lecher2013-02-223-14/+8
* dev-ml/lacaml: Use tc-getPKG_CONFIG from toolchain-funcs.eclass instead of pl...Justin Lecher2013-02-223-8/+14
* dev-ml/zarith: initial commitJonathan-Christofer Demay2013-01-144-55/+41
* dev-ml/ocamlgraph: version bumpJonathan-Christofer Demay2013-01-144-7/+17
* [dev-ml/zarith] fix licenseGuillaume Horel2012-08-112-2/+5
* [dev-ml/gsl-ocaml] new packageGuillaume Horel2012-08-114-0/+47
* dev-ml/lacaml version bump and cleanup old versionGuillaume Horel2012-08-045-47/+17
* [dev-ml/zarith] version bumpGuillaume Horel2012-03-295-74/+16
* [dev-ml/lacaml] moved to new oasis eclassGuillaume Horel2012-03-292-23/+19
* [dev-ml/zarith] new ebuildGuillaume Horel2012-03-026-0/+138
* [dev-ml/lacaml] version bumpGuillaume Horel2012-03-013-2/+49
* dev-ml/mlgmpidl: SRC_URI now uses HTTPSJonathan-Christofer Demay2012-02-062-1/+5
* dev-ml/ocamlgraph: version bumpJonathan-Christofer Demay2012-02-063-5/+10
* Convert to thin manifests (as suggested by alexxy and jlec)Andreas K. Huettel (dilfridge)2012-01-143-21/+0
* switch sci herd to sci-* sub herds, full overlay re-manifestSébastien Fabbro2012-01-031-0/+2
* [dev-ml/lacaml] initial importGuillaume Horel2011-11-144-0/+60