dev-lang/

polyml

Latest Commits

• Commits on Jan 03, 2022
  • dev-lang/polyml: remove implicit elibc_* flags

    d9ca22a

    David Seifert committed on 3 Jan 2022 23:25:57

    polyml-5.8.2.ebuild polyml-5.8.ebuild
• Commits on Dec 03, 2021
  • dev-lang/polyml: dev-libs/gmp slot; no need for --disable-static

    6b37da4

    Maciej Barć committed on 3 Dec 2021 21:53:19

    polyml-5.9-r1.ebuild polyml-5.9.ebuild
  • dev-lang/polyml: bump to 5.9

    56540ed

    Maciej Barć committed on 3 Dec 2021 12:55:51

    polyml-5.9.ebuild Manifest
  • dev-lang/polyml: add to the Gentoo ML Project

    a661efa

    Maciej Barć committed on 3 Dec 2021 12:55:51

    metadata.xml
• Commits on Sep 11, 2021
  • **/metadata.xml: Replace http by https in DOCTYPE element

    38b155f

    Ulrich Müller committed on 11 Sep 2021 13:22:48

    metadata.xml