gpo.zugaina.org

Search Portage & Overlays:

dev-ml/variantslib

OCaml variants as first class values

Screenshots

  • variantslib-0.16.0
    ~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86
    +ocamlopt

    View      Download      Browse     License: Apache-2.0   
    Overlay: gentoo
  • variantslib-0.15.0
    amd64 arm arm64 ~ppc ppc64 ~riscv x86
    +ocamlopt

    View      Download      Browse     License: Apache-2.0   
    Overlay: gentoo
  • variantslib-0.14.0
    amd64 arm arm64 ~ppc ppc64 ~riscv x86
    +ocamlopt

    View      Download      Browse     License: Apache-2.0   
    Overlay: gentoo

ChangeLog

commit 3125e706a7baaed16c28226342866df56afc1edf
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sun Apr 30 00:11:34 2017 -0600

merged from funtoo-staging

merged:

funtoo-staging: e137fbe05d07148f288e0c3233dd48294926b33d

commit 5e31b0420f5cf0e6e25372a1fb4064b537885678
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sun Apr 2 12:11:37 2017 -0600

merged from funtoo-staging

merged:

funtoo-staging: 51f6eb8609d66b5db3c6f63c92353dbad1bc66c9

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 9521415c6cd3c8c24aa90e44e67ecb0bda336513
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Jan 24 12:10:46 2017 -0700

merged from funtoo-staging

merged:

funtoo-staging: 871210d9120b2847d2b8380f0452ab300e68ae76

commit 7a8f7ec957625c8e4d46aee29d9149cdee87c9a7
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Jun 28 22:34:33 2016 -0600

merged from funtoo-staging

merged:

funtoo-staging: bb7a9390196506779e5f38b276f0b55ecc00b8b6

commit 277335a36c9c8781176db43e6cb63a11c597ad55
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Thu May 12 04:42:56 2016 -0600

merged from funtoo-staging

merged:

funtoo-staging: 286a3055a4cc7d98dbd7dad8815ceb986e6fe051

commit 9eeef3ae303a84bb7c30fb173721ba7e0bf687b5
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sat Feb 6 11:14:11 2016 -0700

merged from funtoo-staging

merged:

funtoo-staging: e7dc97e2120a0de4c1d652c80639a05a86d44a22

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 69e3da429ee08bd20ec47e1d94feeba22de60c67
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sun Jun 7 20:23:53 2015 +0000

merged from funtoo-staging

merged:

funtoo-staging: 45ba233a4e6b2ded3ae346fd9db9cbef534bbf52

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 a06127a148f7457c746afc77a0ef0f21c296d34f
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Fri Nov 28 18:15:25 2014 +0000

glorious funtoo updates

merged:

bar-overlay: 1ad50aaef1e93863ab64d2b36a4a28686d55bb17
bliss-overlay: 17ad8bc796b8825b3e9bc7eea3a2d4db4db6c3ac
squeezebox: cf7953988018d60d3638245b380406be494bd7ae
funtoo-deadbeef: 387e40259abfabc35512865e807d055b75f8bf87
funtoo-redhat: c8a06016bb9da505cf4c8b33147b31e2c95ab323
funtoo-wmfs: 9f97ae675241901f470402ac27373b11512982ea
vmware: b98ffa6d5d97a41a8b7be0a258a5adf92ed2de27
miramir: 95e4597b02937186e62317cce6fb263fc14f8481
sera: 97b0bfd1f11402ba2185f151efa5fbd1641601fa
faustoo: 002706ca548d5aa5f9b28f78b80617597924a077
foo-overlay: 44af5419fabdb2f70469f6696330eac1c37b60d9
funtoo-plex: 19e6c68cebc0f438e6784b91dfd0ad70b71647dd
causes: 9b263e0ba528cd8e66dc1b13462de4de115e6fab
sabayon-for-gentoo: 559548ad86a3302a532d0282be7e933313d1f059
funtoo-gnome: 9050b6bd3a2a13e6365213d9cb540be80c6dd1c7
funtoo-mysql: b8efb00b1f34185a683eb00cf6ae2cf7a76a07cc
funtoo-media: 75fb37db4f3870aaa41db4a55757163b7fd21279
funtoo-overlay: eb90e36e5b11d3c085efe7cd6d83ec48bd7d8774
funtoo-toolchain: 2fe5ad06282a508a055dc799f0097a1e22790e80
funtoo-ldap: 5d9e514fce6d2dda2327decf84dcd91b52fc67ac

commit e9a40c71e1bc8ad4207a31dfcb0228eea5705b7e
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sun Jan 19 13:27:26 2014 -0700

glorious funtoo updates

merged:

funtoo-overlay: 060198d671198dcb41a125fac549c7e13b0cb2e6
foo-overlay: 5e0dc0b0c8ce428c14693a2f3cc709a6f657afd7
bar-overlay: 09dbf39ca3130b8fa3d3c049518b56edd8dffcbe
mate: 97bfd3da08dae1e217c4aa71ecf24f936671d572
squeezebox: 9d23dd9a87c2e8621bc6b8b65a8c7b71766084d3
sabayon-for-gentoo: 8b69b0b3ec7090184f04a427cd61fbd528f889b3

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 f1dab424d8ecf2315df36e3b0fe4807dccda2d9c
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Fri May 24 12:55:11 2013 -0600

glorious funtoo updates

merged:

funtoo-overlay: f6172a3a7a2f123aa72c552f84ae653fc3ca8132
foo-overlay: 581c89b1434714082413b9f9230cc95e8b5c05dc
bar-overlay: 2fa65d46049ae8c1993fd18b84095fed198a9449
flora: da07848913dd5f3d08d4b662120c643fe83796bd
mate: 2927f40b5b21d6e3965abb17c8392776d185511b
sabayon-for-gentoo: 5692281b6e9b575c4e137d88f6a440759607184b

commit da3b1c55e6e2db1983b64e1abe3325123a6a64fb
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Thu Apr 11 13:12:30 2013 -0600

glorious funtoo updates

merged:

funtoo-overlay: 0f5c563ee3d6e34c0a4f8e2782f7a9c8765bf3c6
foo-overlay: f7dfe75b6d07da7d211e64f6fc213b9c68f6bd49
bar-overlay: 0093f8c8d47e0fff61b04424d49241600c99e539
flora: da07848913dd5f3d08d4b662120c643fe83796bd
for-gentoo: 074bd030913b9c70b7ecb4261cd08bb5f1d7a0ce

commit 3c51edff36b4ef82d1c34047098ab47c262b3c49
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sun Mar 24 19:16:27 2013 -0600

glorious funtoo updates

merged:

funtoo-overlay: 6706ae617b4a13f4634729487f0cd80c15f51a11
foo-overlay: f7dfe75b6d07da7d211e64f6fc213b9c68f6bd49
bar-overlay: 0093f8c8d47e0fff61b04424d49241600c99e539
flora: e28a9707ace97665f79b37bb469b7184d0ab3464
for-gentoo: e42e01792630a4a910a58340c6fedbdff8722d50

commit 6eae704d644bec05cb80b1d5d11de11c9340641c
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Mar 6 13:04:47 2013 -0700

glorious funtoo updates

merged:

funtoo-overlay: 4a6e927e56e4d40fb3719c52e4a4eb7a027ad9de
foo-overlay: e258a2c560b99d0e05d6520058510503ec7206ca
bar-overlay: f1e9085ee695ff5b6ce57d430d6b224aaf4fa0a6
flora: 9be3a8e4438918b7f2a80779b49d084ad879b22e
for-gentoo: 7bb35516c46a52d5ceddc15fef7a88eacac9f908

commit 6ffae7828eefa34df8c21be5135211c983c53166
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sun Mar 3 13:29:02 2013 -0700

glorious funtoo updates

merged:

funtoo-overlay: d501b57d9090213edc651b628113fca3308aaecb
foo-overlay: e258a2c560b99d0e05d6520058510503ec7206ca
bar-overlay: f1e9085ee695ff5b6ce57d430d6b224aaf4fa0a6
flora: 9be3a8e4438918b7f2a80779b49d084ad879b22e
for-gentoo: 6a16be8dd0cb13fc065654fedf4a4c14d79f19e1

commit d7b6f165e4beaedeb2f0df5fb3a001505f32c306
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sat Feb 9 00:45:28 2013 -0700

glorious funtoo updates

merged:

funtoo-overlay: 76a479c918155993968ef0b3a2efd7efb986e07b
foo-overlay: 4cbf423d1bdc05854fd6edbbbb1b060933b91152
bar-overlay: f1e9085ee695ff5b6ce57d430d6b224aaf4fa0a6
flora: cc31343a95ac9fd63bfc06fb6f27c86407f367fe
for-gentoo: 482086874668c1707d5082db329a46850e65e363

commit 746eb727c38a706957f095a785780c6fdc22962f
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Fri Feb 8 00:47:49 2013 -0700

glorious funtoo updates

merged:

funtoo-overlay: 089c4c32f6c13f9f1259c171b9413f037db0481a
foo-overlay: 4cbf423d1bdc05854fd6edbbbb1b060933b91152
bar-overlay: f1e9085ee695ff5b6ce57d430d6b224aaf4fa0a6
flora: cc31343a95ac9fd63bfc06fb6f27c86407f367fe
for-gentoo: 452115ce8a8047aae092a004ac8e43ce23f9cab7

commit f6e21b7ca9e67ceedc45a17cbd7b1be90daf29fa
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Oct 17 12:35:04 2012 -0600

glorious funtoo updates

merged:

funtoo-overlay: eca412ab93acbe151d157b0035503e7fba425b9c
foo-overlay: 49364501b49e209c1e5602ddde1dd6531e118fab
bar-overlay: 78a0865873ba50e93705d46779fd9344e60a9af3
flora: 99d9aa6d003a1788a3448c6cc33412403fa3f852
mythtv: 774a102d15bb933fb5453c613aa2a70cdc414bf3

commit eeafd1c6680e3c41114099c81be82bc08b2ba385
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Oct 8 12:29:54 2012 -0600

glorious funtoo updates

merged:

funtoo-overlay: fd6915bb933a64baeed41b968da5d08b08ec6f1f
foo-overlay: 49364501b49e209c1e5602ddde1dd6531e118fab
bar-overlay: 78a0865873ba50e93705d46779fd9344e60a9af3
flora: 475c1be884ecb24c9925d6cb529178049dd27f2f
mythtv: 774a102d15bb933fb5453c613aa2a70cdc414bf3

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 1b59a3967b48301000999562329adf76c0643817
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sat Jun 30 12:35:42 2012 -0600

glorious funtoo updates

merged:

gentoo: a298ec3a57995cde0e043634e2bab8bf13199f04
funtoo-overlay: 540e2c73f38cb10311ce22c8a270999d40bfaabc
foo-overlay: 8298ae4a92dd6e9925442616a6fc83e73c965abf
bar-overlay: 6c956f1ca6178fed85bda46013da787239706d7c
flora: 66d990ebf04be11047f2a373f75900b9caf0a355