Gentoo GitWeb
Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
  • Home
  • Gentoo Repository
  • Repositories
  • Projects
  • Developer Overlays
  • User Overlays
  • Data
  • Websites
cgit logo index : repo/gentoo/historical.git
Gentoo ebuild repository HISTORICAL read-only treeInfrastructure team <infrastructure@gentoo.org>
summaryrefslogtreecommitdiff
path: root/dev-lang/polyml/ChangeLog
Commit message (Expand)AuthorAgeFilesLines
* Fix bug 443452 dev-lang/polyml-5.5.0 should depend on and use dev-libs/libffi...Mark Wright2012-12-051-1/+8
* Update dependency after package move from x11-libs/openmotif to x11-libs/motif.Ulrich Müller2012-10-241-1/+6
* Bump polyml to 5.5.0 (also called 5.5, the tarball calls it 5.5, poly -v says...Mark Wright2012-09-201-1/+9
* Thanks to Richard Yao for the fix to bug #398841 and #395009Mark Wright2012-09-191-2/+4
* Fix upstream bug: --without-portable was equivalent to --with-portable. Add t...Mark Wright2012-01-091-1/+6
* Thanks to few_ and xarthisius for reviewing, remove econf repetition, - on us...Mark Wright2012-01-081-2/+6
* Bump to 5.4.1 fixes bug #296797 thanks Mr. Anderson and Rene Necoro Neumann. ...Mark Wright2012-01-081-1/+9
* add ~x86, bug #254097Markus Meier2009-01-111-2/+2
* x86 stable, bug #254097Markus Meier2009-01-111-2/+5
* Initial entry (bug 35548) thanks to Paulo Jorge de Oliveira Cantante de Matos...Marijn Schouten2008-12-301-0/+12
     

    Questions or comments?

    Please feel free to contact us.
    © 2001–2024 Gentoo Authors
    Gentoo is a trademark of the Gentoo Foundation, Inc. and of Förderverein Gentoo e.V. The contents of this document, unless otherwise expressly stated, are licensed under the CC-BY-SA-4.0 license. The Gentoo Name and Logo Usage Guidelines apply.