dev-lang/polyml – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

Commits on 2023-09-18
- dev-lang/polyml: bump to 5.9.1
  6c83b56
  Maciej Barć committed on 2023-09-18 15:00:28 UTC
  dev-lang/polyml/polyml-5.9.1.ebuilddev-lang/polyml/Manifest
Commits on 2023-09-07
- dev-lang/polyml: remove created .la
  c220ded
  Maciej Barć committed on 2023-09-07 21:03:39 UTC
  dev-lang/polyml/polyml-5.9-r2.ebuilddev-lang/polyml/polyml-5.9-r1.ebuild
Commits on 2023-01-22
- dev-lang/polyml: fix c++11 build
  3617af6
  Alfredo Tupone committed on 2023-01-22 12:15:47 UTC
  dev-lang/polyml/files/polyml-5.9-c++11.patchdev-lang/polyml/polyml-5.9-r1.ebuild
Commits on 2022-08-29
- dev-lang/polyml: drop 5.8, 5.8.2, EAPI-6--
  4e07503
  Andreas Sturmlechner committed on 2022-08-29 18:39:07 UTC
  dev-lang/polyml/Manifestdev-lang/polyml/files/polyml-5.6-configure.patchdev-lang/polyml/files/polyml-5.6-ffi3.patchdev-lang/polyml/files/polyml-5.8.2-glibc234.patchdev-lang/polyml/polyml-5.8.2.ebuilddev-lang/polyml/polyml-5.8.ebuild
Commits on 2022-07-02
- dev-lang/polyml: clean la files
  773be18
  Alfredo Tupone committed on 2022-07-02 20:35:16 UTC
  dev-lang/polyml/polyml-5.9-r1.ebuild
Commits on 2022-01-03
- dev-lang/polyml: remove implicit elibc_* flags
  d9ca22a
  David Seifert committed on 2022-01-03 23:25:57 UTC
  dev-lang/polyml/polyml-5.8.2.ebuilddev-lang/polyml/polyml-5.8.ebuild
Commits on 2021-12-03
- dev-lang/polyml: dev-libs/gmp slot; no need for --disable-static
  6b37da4
  Maciej Barć committed on 2021-12-03 21:53:19 UTC
  dev-lang/polyml/polyml-5.9-r1.ebuilddev-lang/polyml/polyml-5.9.ebuild
- dev-lang/polyml: bump to 5.9
  56540ed
  Maciej Barć committed on 2021-12-03 12:55:51 UTC
  dev-lang/polyml/polyml-5.9.ebuilddev-lang/polyml/Manifest
- dev-lang/polyml: add to the Gentoo ML Project
  a661efa
  Maciej Barć committed on 2021-12-03 12:55:51 UTC
  dev-lang/polyml/metadata.xml
Commits on 2021-09-11
- **/metadata.xml: Replace http by https in DOCTYPE element
  38b155f
  Ulrich Müller committed on 2021-09-11 13:22:48 UTC
  dev-lang/polyml/metadata.xml
Commits on 2021-09-10
- dev-lang/polyml: Version bump; fix glibc-2.34 build
  a059ab8
  Andreas K. Hüttel committed on 2021-09-10 17:47:29 UTC
  dev-lang/polyml/files/polyml-5.8.2-configure.patchdev-lang/polyml/files/polyml-5.8.2-glibc234.patchdev-lang/polyml/polyml-5.8.2.ebuilddev-lang/polyml/Manifest
Commits on 2021-08-05
- dev-lang/polyml: add github upstream metadata
  ea11fe3
  Sam James committed on 2021-08-05 02:08:39 UTC
  dev-lang/polyml/metadata.xml
Commits on 2021-03-16
- dev-lang/polyml: drop 5.6
  0e18746
  Sam James committed on 2021-03-16 19:22:29 UTC
  dev-lang/polyml/Manifestdev-lang/polyml/polyml-5.6.ebuild
Commits on 2020-11-16
- dev-lang/polyml: use dev-libs/libffi instead of virtual/libffi
  70434ff
  Sergei Trofimovich committed on 2020-11-16 22:53:00 UTC
  dev-lang/polyml/polyml-5.6.ebuilddev-lang/polyml/polyml-5.8.ebuild
Commits on 2020-09-27
- dev-lang/polyml: remove unused patches
  bda0715
  Michael Mair-Keimberger authored and Conrad Kostecki committed on 2020-09-27 00:14:48 UTC
  dev-lang/polyml/files/polyml-5.4.1-asm.patchdev-lang/polyml/files/polyml-5.4.1-configure.patchdev-lang/polyml/files/polyml-5.5.0-asm.patchdev-lang/polyml/files/polyml-5.5.0-configure.patchdev-lang/polyml/files/polyml-5.5.0-x-it-basis.patchdev-lang/polyml/files/polyml-5.5.1-inputN-return-for-zero-chars.patchdev-lang/polyml/files/polyml-5.5.1-optimize-closure.patchdev-lang/polyml/files/polyml-5.5.2-r1952-check_for_negative_sized_array.patchdev-lang/polyml/files/polyml-5.5.2-r1954_Fix_segfault_in_FFI_when_malloc_runs_out_of_memory.patchdev-lang/polyml/files/polyml-5.5.2-r2007_Ensure_the_large_object_cache_pointer_is_cleared.patchdev-lang/polyml/files/polyml-5.5.2-r2009_Initialise_the_largeObjectCache_fully_in_the_constructor.patch
Commits on 2020-09-24
- dev-lang/polyml: drop old EAPI=5
  b359e07
  Aaron Bauman committed on 2020-09-24 19:53:29 UTC
  dev-lang/polyml/Manifestdev-lang/polyml/polyml-5.4.1.ebuilddev-lang/polyml/polyml-5.5.0.ebuilddev-lang/polyml/polyml-5.5.1.ebuilddev-lang/polyml/polyml-5.5.2.ebuild
Commits on 2020-09-14
- */*: [QA] Remove redundant <longdescription/>s
  410f53c
  Michał Górny committed on 2020-09-14 19:31:09 UTC
  dev-lang/polyml/metadata.xml
Commits on 2019-12-13
- */*: Remove ml@ from packages maintainers
  8d5bf2b
  Michał Górny committed on 2019-12-13 15:24:05 UTC
  dev-lang/polyml/metadata.xml
Commits on 2019-12-11
- */*: [QA] Remove redundant `|| die` guards
  398a426
  David Seifert committed on 2019-12-11 12:32:00 UTC
  dev-lang/polyml/polyml-5.4.1.ebuilddev-lang/polyml/polyml-5.5.0.ebuilddev-lang/polyml/polyml-5.5.1.ebuilddev-lang/polyml/polyml-5.5.2.ebuilddev-lang/polyml/polyml-5.6.ebuilddev-lang/polyml/polyml-5.8.ebuild
Commits on 2019-12-10
- */*: [QA] Fix trivial cases of MissingTestRestrict
  064af66
  Michał Górny committed on 2019-12-10 23:22:38 UTC
  dev-lang/polyml/polyml-5.4.1.ebuilddev-lang/polyml/polyml-5.5.0.ebuilddev-lang/polyml/polyml-5.5.1.ebuilddev-lang/polyml/polyml-5.5.2.ebuilddev-lang/polyml/polyml-5.6.ebuilddev-lang/polyml/polyml-5.8.ebuild
Commits on 2019-10-21
- dev-lang/polyml: removing me from maintainer
  73b7430
  Tupone Alfredo committed on 2019-10-21 07:06:35 UTC
  dev-lang/polyml/metadata.xml
Commits on 2019-04-06
- dev-lang/polyml: bump to 5.8
  ff35833
  Tupone Alfredo committed on 2019-04-06 19:12:13 UTC
  dev-lang/polyml/polyml-5.8.ebuilddev-lang/polyml/Manifestdev-lang/polyml/polyml-5.6.ebuild
Commits on 2019-04-05
- dev-lang/polyml: Fix build with libffi3
  890d180
  Tupone Alfredo committed on 2019-04-05 21:14:49 UTC
  dev-lang/polyml/files/polyml-5.6-ffi3.patchdev-lang/polyml/polyml-5.6.ebuild
- dev-lang/polyml: Adding me as a maintainer
  26b4e5d
  Tupone Alfredo committed on 2019-04-05 16:44:16 UTC
  dev-lang/polyml/metadata.xml
- dev-lang/polyml: Fix build, sem_wait found on libpthread
  22d7700
  Tupone Alfredo committed on 2019-04-05 08:38:52 UTC
  dev-lang/polyml/files/polyml-5.6-configure.patchdev-lang/polyml/polyml-5.6.ebuild
Commits on 2018-06-07
- dev-lang/polyml: use HTTPs
  676a861
  Michael Mair-Keimberger authored and Aaron Bauman committed on 2018-06-07 19:20:34 UTC
  dev-lang/polyml/polyml-5.4.1.ebuilddev-lang/polyml/polyml-5.5.0.ebuilddev-lang/polyml/polyml-5.5.1.ebuilddev-lang/polyml/polyml-5.5.2.ebuilddev-lang/polyml/polyml-5.6.ebuild
Commits on 2017-12-09
- dev-lang/*: Update Manifest hashes
  5abd430
  Michał Górny committed on 2017-12-09 17:19:32 UTC
  dev-lang/polyml/Manifest
Commits on 2017-11-26
- dev-lang/polyml: [QA] Consistent whitespace in metadata.xml
  3cc5c5c
  David Seifert committed on 2017-11-26 11:25:12 UTC
  dev-lang/polyml/metadata.xml
Commits on 2017-02-28
- Drop $Id$ per council decision in bug #611234.
  61b861a
  Robin H. Johnson committed on 2017-02-28 19:50:50 UTC
  dev-lang/polyml/polyml-5.4.1.ebuilddev-lang/polyml/polyml-5.5.0.ebuilddev-lang/polyml/polyml-5.5.1.ebuilddev-lang/polyml/polyml-5.5.2.ebuilddev-lang/polyml/polyml-5.6.ebuild
Commits on 2016-12-28
- dev-lang/polyml: Bump to 5.6
  be71b09
  Mark Wright committed on 2016-12-28 12:14:41 UTC
  dev-lang/polyml/polyml-5.6.ebuilddev-lang/polyml/Manifest
Commits on 2016-10-10
- dev-lang/polyml: remove unused patch.
  4a25398
  Michael Mair-Keimberger (asterix) authored and Patrice Clement committed on 2016-10-10 12:07:42 UTC
  dev-lang/polyml/files/polyml-5.5.1-mprotect-exec.patch
Commits on 2016-07-27
- sourceforge: switch to https:// URIs
  b4480f3
  Mike Frysinger committed on 2016-07-27 06:59:24 UTC
  dev-lang/polyml/files/polyml-5.5.1-inputN-return-for-zero-chars.patchdev-lang/polyml/files/polyml-5.5.1-optimize-closure.patchdev-lang/polyml/polyml-5.5.1.ebuilddev-lang/polyml/polyml-5.5.2.ebuild
Commits on 2016-01-24
- Set appropriate maintainer types in metadata.xml (GLEP 67)
  8849b09
  Michał Górny committed on 2016-01-24 22:58:38 UTC
  dev-lang/polyml/metadata.xml
- Replace all herds with appropriate projects (GLEP 67)
  cfd93d7
  Michał Górny committed on 2016-01-24 22:58:38 UTC
  dev-lang/polyml/metadata.xml
Commits on 2015-08-24
- Revert DOCTYPE SYSTEM https changes in metadata.xml
  1bfb585
  Mike Gilbert committed on 2015-08-24 20:30:34 UTC
  dev-lang/polyml/metadata.xml
- Use https by default
  eaaface
  Justin Lecher committed on 2015-08-24 10:49:19 UTC
  dev-lang/polyml/metadata.xml
Commits on 2015-08-09
- proj/gentoo: Initial commit
  56bd759
  Robin H. Johnson committed on 2015-08-09 00:38:18 UTC
  dev-lang/polyml/Manifestdev-lang/polyml/files/polyml-5.4.1-asm.patchdev-lang/polyml/files/polyml-5.4.1-configure.patchdev-lang/polyml/files/polyml-5.5.0-asm.patchdev-lang/polyml/files/polyml-5.5.0-configure.patchdev-lang/polyml/files/polyml-5.5.0-x-it-basis.patchdev-lang/polyml/files/polyml-5.5.1-inputN-return-for-zero-chars.patchdev-lang/polyml/files/polyml-5.5.1-mprotect-exec.patchdev-lang/polyml/files/polyml-5.5.1-optimize-closure.patchdev-lang/polyml/files/polyml-5.5.2-r1952-check_for_negative_sized_array.patchdev-lang/polyml/files/polyml-5.5.2-r1954_Fix_segfault_in_FFI_when_malloc_runs_out_of_memory.patchdev-lang/polyml/files/polyml-5.5.2-r2007_Ensure_the_large_object_cache_pointer_is_cleared.patchdev-lang/polyml/files/polyml-5.5.2-r2009_Initialise_the_largeObjectCache_fully_in_the_constructor.patchdev-lang/polyml/metadata.xmldev-lang/polyml/polyml-5.4.1.ebuilddev-lang/polyml/polyml-5.5.0.ebuilddev-lang/polyml/polyml-5.5.1.ebuilddev-lang/polyml/polyml-5.5.2.ebuild