gpo.zugaina.org

Search Portage & Overlays:

dev-ml/facile

OCaml constraint programming library on integer & integer set finite domains

Screenshots

  • facile-1.1.4
    amd64 arm64 ~ppc ppc64 x86
    +ocamlopt

    View      Download      Browse     License: LGPL-2.1   
    Overlay: gentoo

ChangeLog

commit 1090f60ccd21de44e5795961682728a070e5ff48
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Apr 25 12:11:01 2017 -0600

merged from funtoo-staging

merged:

funtoo-staging: bf3db11ed0bb1ebc448d9296060246958e7abafb

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 7aa8cac8fa297a2befbc372b50df6f8812139969
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Thu Jan 26 12:10:56 2017 -0700

merged from funtoo-staging

merged:

funtoo-staging: 2f0fec4f0326e395aa80c474477edec245f3230a

commit c97a284fa19b39cb9dbc4c045e0cae9d1e130526
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Thu Jan 26 00:10:46 2017 -0700

merged from funtoo-staging

merged:

funtoo-staging: 02361b6bb51198f3874517e12aa778ca3eaa2af1

commit e675f1ca7d324a0a4a3a6210a1a175c6e9bd9249
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Jan 25 12:10:41 2017 -0700

merged from funtoo-staging

merged:

funtoo-staging: c6049de2af0cf55971558d1cba2c05d3a3be2383

commit 2b5c021e683cb6a1671e673d4e69772a85925bd3
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Mar 28 22:35:46 2016 -0600

merged from funtoo-staging

merged:

funtoo-staging: b49b74959c08782747f1e039f2167baa7d75ce9f

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 3453d347a8e93b223e2574ccf4b534b43d445c62
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Dec 15 09:39:24 2015 -0700

merged from funtoo-staging

merged:

funtoo-staging: cb836dcc04d1f46719b499b08481adc6d83b036c

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 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 009bacfa602046d739fe5e8ba56c31f6d2630b5d
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Aug 11 00:39:58 2014 +0000

glorious funtoo updates

merged:

funtoo-overlay: 099cb7bdab1b6099bc0bc6b8f9ba82a88fcc688a
funtoo-mysql: c0f5ef9fbd1b65d4a4aaf3ed36c0b311dd616da9
funtoo-ldap: 63fb17b380185effbb7cca9d86aaad23ee605834
faustoo: a99772faa289b5a111e05522894b82ab69a18c81
foo-overlay: 4cac746e142029c8354eb0d3ee4957033c99fb10
bar-overlay: 1ad50aaef1e93863ab64d2b36a4a28686d55bb17
bliss-overlay: 49433d033bb07d5bcee3d0ee5bc62e03fe1cb0c7
funtoo-plex: 7fbc248f9f4301931ca5f5cf9e5e6892bea647b2
squeezebox: 7d78015cf563fd236723dbb2dc6cd2de6dad1bbf
funtoo-gnome: 8ef67c5d149c63e2907426f3527edf339da5d62e
funtoo-deadbeef: e5ece3cb23adb949c27a6143fe086b501396125b
sabayon-for-gentoo: 6bd086cd210fda05d411411323509882e31a417d

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 0dec820d77dda6c10b3f2de5480c8900ca0a7162
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Aug 19 12:57:31 2013 -0600

glorious funtoo updates

merged:

funtoo-overlay: e695b97bc9a593cf6a93e651ae0297e9973e6b98
foo-overlay: 3151d1bc3adb6adb4f8004533d11c5264a43eb0b
bar-overlay: 09dbf39ca3130b8fa3d3c049518b56edd8dffcbe
flora: da07848913dd5f3d08d4b662120c643fe83796bd
mate: 71e94b83b0460f27c0381f3894402aa4931bc560
bliss: bb2cfbfd6aa313ea4aef3f7d96641ed06fd97900
sabayon-for-gentoo: 2a09be4f59257d7ff3ff6ce2c0fb6da7ea3f3769

commit ac3f3c3724847b61a0ae6d3be27b394752357534
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Oct 10 12:31:57 2012 -0600

glorious funtoo updates

merged:

funtoo-overlay: b81395ad35600e4e0d62afe9ed2fe45edc2c5d8c
foo-overlay: 49364501b49e209c1e5602ddde1dd6531e118fab
bar-overlay: 78a0865873ba50e93705d46779fd9344e60a9af3
flora: c84694a14308b9758a8735d9967cd33e4c899bec
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 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