gpo.zugaina.org

Search Portage & Overlays:

dev-lang/polyml

Poly/ML is a full implementation of Standard ML

Screenshots

  • polyml-5.9.1
    ~amd64 ~x86
    X +gmp portable

    View      Download      Browse     License: LGPL-2.1   
    Overlay: gentoo
  • polyml-5.9-r2
    ~amd64 ~x86
    X +gmp portable

    View      Download      Browse     License: LGPL-2.1   
    Overlay: gentoo

ChangeLog

commit 5fd09132b758233e1f9c24704e832f96df19683b
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Mar 1 00:13:24 2017 -0700

merged from funtoo-staging

merged:

funtoo-staging: d605f51aadda4424f4d767132f6c9c99218c6f66

commit e1e77faed0c6058b277402934f1a5db5746ec94e
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Jan 4 14:05:02 2017 -0700

merged from funtoo-staging

merged:

funtoo-staging: 8df108d740c9055e401b513bc36cd1dc7fe36af9

commit 524be950a73ffbb98a5832bbdda44a036ea44b74
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Oct 10 22:39:03 2016 -0600

merged from funtoo-staging

merged:

funtoo-staging: e285824707feac2f9294c5f30618c8fb4ec2c631

commit fa114cbb7af65fe1917e22c6185161153f44cf35
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Jul 27 21:00:30 2016 -0600

merged from funtoo-staging

merged:

funtoo-staging: e8a12b9a42fcee65af83f3d972f6d34051b1e008

commit 3549ddbcd43f6a95226fc79bcbed34a71973b900
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Jan 27 01:12:39 2016 -0700

merged from funtoo-staging

merged:

funtoo-staging: 3c6d53b50924e85ee45686ebd1cde275bd1895fc

commit 598ded5ea89821a0d724c8993405c45042b3d82e
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Aug 25 00:26:24 2015 +0000

merged from funtoo-staging

merged:

funtoo-staging: 4322619cb1872cc9dbe0fa1fdcd184a3642bac32

commit 0099bee1c097c4e9ad62cbba61b9ef6c5abc8471
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Aug 24 12:27:16 2015 +0000

merged from funtoo-staging

merged:

funtoo-staging: ccd94e33817483691f8e043d7189fe44803aa808

commit 89cc3c4a2ec900bafe261c635084614d240105ec
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Aug 11 04:10:59 2015 +0000

merged from funtoo-staging

merged:

funtoo-staging: 90795ffd7b6d717be93874c2cfb775f3c3bb5169

commit 92570b9e803019e02c8afacce4ca65286a87d5e3
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Thu Jul 9 20:27:25 2015 +0000

merged from funtoo-staging

merged:

funtoo-staging: c9e56b234b30ce19558342dd0eac72dbdc6e9108

commit d754167749bba85c2c44c4f8aed2e1429ec1513e
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Jun 9 16:24:11 2015 +0000

merged from funtoo-staging

merged:

funtoo-staging: 925f7e5ecbe1574e825627352fe34909764cf670

commit 9e89b9177be1057208ab73b6f6d361d25c5ca7a5
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Jan 6 14:17:29 2015 +0000

glorious funtoo updates

merged:

bar-overlay: e29c88fad87f3aab32f058943dc1d4a409b4ae85
bliss-overlay: 10e4780332539b3607d2a669b73d59d601f2772f
squeezebox: cf7953988018d60d3638245b380406be494bd7ae
funtoo-deadbeef: 84848f7b806973a9b4ae4fc2eb4e546fddfc4442
funtoo-redhat: bbf9b3d93340f431421f38ec0f07395edd18ac1a
funtoo-wmfs: 9f97ae675241901f470402ac27373b11512982ea
vmware: b98ffa6d5d97a41a8b7be0a258a5adf92ed2de27
miramir: 87e12178bc3aea6707a4d8d9f2ed5cb08d4551b2
sera: 97b0bfd1f11402ba2185f151efa5fbd1641601fa
faustoo: 031fa6de6bd560b2d39c1f36a13114715296be4b
foo-overlay: 44af5419fabdb2f70469f6696330eac1c37b60d9
funtoo-plex: 053d584c4eeb8a92363b19249abe4f5c8bf1012b
causes: de5d9f094914b599b3aa98732b08bcb512af7056
sabayon-for-gentoo: 35bc7d64dfd938872da7c5f3528c4eba2da5990b
funtoo-gnome: 8cd441aad4cbe626e0152e75b9423c1d60cfb431
funtoo-mysql: 3b829e294896cf4ba866ef24865c91da81472dd6
funtoo-media: ee35fa219404e223814ebd2ec790150001d21888
funtoo-overlay: a6ac02020ff5c87476b4e06787b804f9afe1ae70
funtoo-toolchain: f1a02cbac17370c1c4b57f59e2a261c1d2a9204c
funtoo-ldap: b97b3fd7ab9c0ef7ab7884a57c0d9f1609b6b999

commit 8715fdbd24c2489c65b6c05a921783fe522e3d02
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Jan 6 14:10:23 2015 +0000

glorious funtoo updates

merged:

bar-overlay: e29c88fad87f3aab32f058943dc1d4a409b4ae85
bliss-overlay: 10e4780332539b3607d2a669b73d59d601f2772f
squeezebox: cf7953988018d60d3638245b380406be494bd7ae
funtoo-deadbeef: 84848f7b806973a9b4ae4fc2eb4e546fddfc4442
funtoo-redhat: bbf9b3d93340f431421f38ec0f07395edd18ac1a
funtoo-wmfs: 9f97ae675241901f470402ac27373b11512982ea
vmware: b98ffa6d5d97a41a8b7be0a258a5adf92ed2de27
miramir: 87e12178bc3aea6707a4d8d9f2ed5cb08d4551b2
sera: 97b0bfd1f11402ba2185f151efa5fbd1641601fa
faustoo: 031fa6de6bd560b2d39c1f36a13114715296be4b
foo-overlay: 44af5419fabdb2f70469f6696330eac1c37b60d9
funtoo-plex: 053d584c4eeb8a92363b19249abe4f5c8bf1012b
causes: de5d9f094914b599b3aa98732b08bcb512af7056
sabayon-for-gentoo: 35bc7d64dfd938872da7c5f3528c4eba2da5990b
funtoo-gnome: 8cd441aad4cbe626e0152e75b9423c1d60cfb431
funtoo-mysql: 3b829e294896cf4ba866ef24865c91da81472dd6
funtoo-media: ee35fa219404e223814ebd2ec790150001d21888
funtoo-overlay: a6ac02020ff5c87476b4e06787b804f9afe1ae70
funtoo-toolchain: f1a02cbac17370c1c4b57f59e2a261c1d2a9204c
funtoo-ldap: b97b3fd7ab9c0ef7ab7884a57c0d9f1609b6b999

commit c52cda6ecf9e2d94fe9eb326b39ca0b90bdfa388
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Feb 11 13:27:21 2014 -0700

glorious funtoo updates

merged:

funtoo-overlay: aa97938604fa64183396c7b4c8bb6f5380d27236
foo-overlay: 5e0dc0b0c8ce428c14693a2f3cc709a6f657afd7
bar-overlay: 09dbf39ca3130b8fa3d3c049518b56edd8dffcbe
mate: 94c5362a17f9e9cf03cc73ade0216aabdeb24cc7
squeezebox: 9d23dd9a87c2e8621bc6b8b65a8c7b71766084d3
funtoo-gnome: 9d9443d22afa7a707826982852bcfd559896631b
sabayon-for-gentoo: 36c1d7d0b1588466b73bf3a8f207e3995868c9f5

commit 0a38994d2ca67a1a18e276f59062c14622ab5591
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Nov 4 00:51:56 2013 -0700

glorious funtoo updates

merged:

funtoo-overlay: 31cf65aa938d27deadbdef9249f3edc7839089ab
foo-overlay: d242d6fcc74a431c59e7e1ba6e7458a9618861d6
bar-overlay: 09dbf39ca3130b8fa3d3c049518b56edd8dffcbe
mate: ddbe32120aa2969eee028ecd7df9e8a985d11dae
squeezebox: 3b7b8b97ca62d555c9e8456eb685627976cab6c2
sabayon-for-gentoo: 5161024a12c070cc6df12e7218b9d397eef5effb

commit 494d09d942df05f24c52cd0bd0bdc10b3414369c
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Nov 4 00:30:20 2013 -0700

glorious funtoo updates

merged:

funtoo-overlay: 31cf65aa938d27deadbdef9249f3edc7839089ab
foo-overlay: d242d6fcc74a431c59e7e1ba6e7458a9618861d6
bar-overlay: 09dbf39ca3130b8fa3d3c049518b56edd8dffcbe
mate: ddbe32120aa2969eee028ecd7df9e8a985d11dae
squeezebox: 3b7b8b97ca62d555c9e8456eb685627976cab6c2
sabayon-for-gentoo: 5161024a12c070cc6df12e7218b9d397eef5effb

commit 8b8b261b098f310f4e292018239ac03130805ffb
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Dec 5 12:39:31 2012 -0700

glorious funtoo updates

merged:

funtoo-overlay: 82cc1ebdbdf606e5721f78960d230850437f8485
foo-overlay: ac623317c1476ac0bddf715649d4e9eb2d33e49e
bar-overlay: f1e9085ee695ff5b6ce57d430d6b224aaf4fa0a6
flora: ae0e71745531ace5f07480722de6c2e30a0afc4d
mythtv: d5133545c1814f01e74fe9079ba83d3cd21140f4

commit c7e3f3c3b5c3a7fd6bf6211358de055ccc44d0ee
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Thu Oct 25 00:31:41 2012 -0600

glorious funtoo updates

merged:

funtoo-overlay: 9b1193fc9119e71a539c72b4a3c0026f11b26f8f
foo-overlay: 6352fff301381ac370472ff0c01274fa55ffc0bb
bar-overlay: f1e9085ee695ff5b6ce57d430d6b224aaf4fa0a6
flora: 79bac1495125cb9fff6e4b8d51730109f21e4965
mythtv: d5133545c1814f01e74fe9079ba83d3cd21140f4

commit d0dedae4e677483f0c3f50c868b2b30efddb99cb
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Thu Sep 20 12:29:06 2012 -0600

glorious funtoo updates

merged:

funtoo-overlay: 062f032a9fb38447582961655e05a69cd69f534f
foo-overlay: 49364501b49e209c1e5602ddde1dd6531e118fab
bar-overlay: 78a0865873ba50e93705d46779fd9344e60a9af3
flora: 62fb1fc01c0e6127c33dae0c487e6367f55026a0
lcd-filtering: dd3d9b094dbfc726ee9b3d886783a18b92f899fd
mythtv: 00027cc812a879fe67e687843f201cd95e000a94

commit d72b4dc1c95a217966bfadd8c0f320b4dbb7013d
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Sep 19 12:32:30 2012 -0600

glorious funtoo updates

merged:

funtoo-overlay: 5432a16b3c6e5f2ce5579e53978424a819102afc
foo-overlay: 49364501b49e209c1e5602ddde1dd6531e118fab
bar-overlay: 78a0865873ba50e93705d46779fd9344e60a9af3
flora: 62fb1fc01c0e6127c33dae0c487e6367f55026a0
lcd-filtering: dd3d9b094dbfc726ee9b3d886783a18b92f899fd
mythtv: 00027cc812a879fe67e687843f201cd95e000a94

commit 151c73b49adb7f526f442fa17f921635ade958d8
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Thu Jul 5 12:42:35 2012 -0600

glorious funtoo updates

merged:

gentoo: 1cceb6e3f5eda12e6b6ea13affc143b710c43af5
funtoo-overlay: fa7dfad9b36f0b57b33f9b76b1866ccf8ec25c1b
foo-overlay: 8298ae4a92dd6e9925442616a6fc83e73c965abf
bar-overlay: 6c956f1ca6178fed85bda46013da787239706d7c
flora: 4c988e0067cd7d72ec3f8995c609387d299dc413

commit a3e88ee48a7adee91998b076f79f8afec8739dd1
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sun Jan 22 23:38:09 2012 -0700

glorious funtoo updates

merged:

gentoo: 13843f35165af6e99b1fe74c738636eac84ca68b
funtoo-overlay: 5b4c778a48328a48d6b4dbd89716701ae9e16609
foo-overlay: 1f6221fc09bef4647caf44c57a3cf48a65ce58bb
bar-overlay: 4b6579bdb26d820bd55e85488c8e5eb80d8e8011
flora: 4f9e07e1032406abfa7d4b8d6aa025cc69c934ef