gpo.zugaina.org

Search Portage & Overlays:

app-emacs/ocaml-mode

Emacs mode for OCaml

Screenshots

  • ocaml-mode-4.05.0
    ~alpha amd64 arm arm64 ~hppa ~ia64 ~mips ppc ppc64 ~riscv sparc x86 ~amd64-linux ~x86-linux

    View      Download      Browse     License: GPL-2+   
    Overlay: gentoo

ChangeLog

commit 23ac66e1862c0838fb6a26805daaa543fa7cee0c
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sun Jun 18 12:10:48 2017 -0600

merged from funtoo-staging

merged:

funtoo-staging: 9c288da2a51476c63d2b2a3384a849618dcbc772

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 70aa9dc688e29e57392852810c82c6d39fcc9f6b
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sun Jan 15 00:11:20 2017 -0700

merged from funtoo-staging

merged:

funtoo-staging: 0556aa0154c32e4501078fdb60974bbbce141fe3

commit 48d17abb47dded2ae54d83ab5647608a7df86dd3
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Jan 11 05:10:00 2017 -0700

merged from funtoo-staging

merged:

funtoo-staging: ecae0b01f9d931277eec601c199e3836e33cc811

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 bd40c9b7638c983611f8ca2e5e9eaf0032721cd1
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sat Nov 21 08:10:15 2015 -0700

merged from funtoo-staging

merged:

funtoo-staging: 4754f38d4d5ec108ad787183ed81c0db192b1897

commit f7ca26f653d34ec438c28cef427a4ab8641d2d8c
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Thu Nov 12 08:10:11 2015 -0700

merged from funtoo-staging

merged:

funtoo-staging: 6ad777a2b51c7aaf922ae7bc9088117b3bda8e08

commit 56e516efdf584f7c6ac5638f3b0bd4cc8e5ada8a
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Nov 11 08:10:49 2015 -0700

merged from funtoo-staging

merged:

funtoo-staging: 6f76accd93708df2a63d3a5b90ae5d73322f8514

commit c5e24fc5cab46808903f6b8206c7f4aaf3984d3c
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Nov 10 08:10:07 2015 -0700

merged from funtoo-staging

merged:

funtoo-staging: bb939b879724a9a2e77c83929922a86cc1e8b722

commit 6b7c98ba960f12e68b6750d7197dae0afca38526
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Nov 3 08:10:26 2015 -0700

merged from funtoo-staging

merged:

funtoo-staging: 323b802a63329e7bc976a937e970bd07a503bca9

commit 9ea251016f5be38ee2972604dab2ba04f6cf2716
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sun Nov 1 08:10:18 2015 -0700

merged from funtoo-staging

merged:

funtoo-staging: 227f1fe0ae92e58134342d0505812f6735195cd0

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 c434cd418849c8ff34221bc2ee7d410da31f0158
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Jan 15 19:17:04 2014 -0700

glorious funtoo updates

merged:

funtoo-overlay: 3f15cc014589374666cbee061dd85c84a00876bc
foo-overlay: 5e0dc0b0c8ce428c14693a2f3cc709a6f657afd7
bar-overlay: 09dbf39ca3130b8fa3d3c049518b56edd8dffcbe
mate: 515fd3118ecc0e6fdc3726c863fea5613376f96b
squeezebox: 3b7b8b97ca62d555c9e8456eb685627976cab6c2
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 dcddebf50fe5cd40c046ac8cb2f5fd145a9a8cb4
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Feb 20 12:49:05 2013 -0700

glorious funtoo updates

merged:

funtoo-overlay: f839b0842afcb71c9e6becbdd8ba5c5c949de1d7
foo-overlay: e258a2c560b99d0e05d6520058510503ec7206ca
bar-overlay: f1e9085ee695ff5b6ce57d430d6b224aaf4fa0a6
flora: 709a6070e3226135c0d8c4d99e9936743975525e
for-gentoo: e51e361005a282718bae6225f1fef49ca7f0f0d0

commit 2e3bdc049566078d4f0bbcffed3dbf7cf1f2a5ae
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Feb 13 00:48:10 2013 -0700

glorious funtoo updates

merged:

funtoo-overlay: 3dd7e27649fceac1928082981549b7357d45a0c7
foo-overlay: 7d465f21ec9f45f44569f303afedcdd5750d1e16
bar-overlay: f1e9085ee695ff5b6ce57d430d6b224aaf4fa0a6
flora: cc31343a95ac9fd63bfc06fb6f27c86407f367fe
for-gentoo: 90a346fdb07c92601014bec211919700045e0a76

commit b7fc7c22350b4cd44cff2377ff6944babefcb44f
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Feb 12 13:22:46 2013 -0700

glorious funtoo updates

merged:

funtoo-overlay: 3dd7e27649fceac1928082981549b7357d45a0c7
foo-overlay: 7d465f21ec9f45f44569f303afedcdd5750d1e16
bar-overlay: f1e9085ee695ff5b6ce57d430d6b224aaf4fa0a6
flora: cc31343a95ac9fd63bfc06fb6f27c86407f367fe
for-gentoo: 90a346fdb07c92601014bec211919700045e0a76

commit 152c2e163f8783e621341de9e8f4c32d7c6b69c5
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Feb 11 13:08:25 2013 -0700

glorious funtoo updates

merged:

funtoo-overlay: 0fd3bee71541aa54fb721296a1e4428e82c33310
foo-overlay: 7d465f21ec9f45f44569f303afedcdd5750d1e16
bar-overlay: f1e9085ee695ff5b6ce57d430d6b224aaf4fa0a6
flora: cc31343a95ac9fd63bfc06fb6f27c86407f367fe
for-gentoo: c8692cb39f31ff781c71c1db374045b412a92d1c

commit 7501330d19036ab52340e2929c0d4059f24337d0
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Feb 11 00:45:01 2013 -0700

glorious funtoo updates

merged:

funtoo-overlay: 0d876f5a350a8fefc16bea5436a7b64652f58bbd
foo-overlay: 4cbf423d1bdc05854fd6edbbbb1b060933b91152
bar-overlay: f1e9085ee695ff5b6ce57d430d6b224aaf4fa0a6
flora: cc31343a95ac9fd63bfc06fb6f27c86407f367fe
for-gentoo: 941098fd22479c9e5a8905e35a58b461cf3e5411

commit bba50e6111a5cd5e1a708607d69d7cedccb11af5
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sun Feb 10 13:13:05 2013 -0700

glorious funtoo updates

merged:

funtoo-overlay: 0d876f5a350a8fefc16bea5436a7b64652f58bbd
foo-overlay: 4cbf423d1bdc05854fd6edbbbb1b060933b91152
bar-overlay: f1e9085ee695ff5b6ce57d430d6b224aaf4fa0a6
flora: cc31343a95ac9fd63bfc06fb6f27c86407f367fe
for-gentoo: 941098fd22479c9e5a8905e35a58b461cf3e5411

commit 59a91ea7c185e8681cda4978e5fbdaf73d0e838e
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Dec 12 00:35:22 2012 -0700

glorious funtoo updates

merged:

funtoo-overlay: bfaeba697fe8c8e5155be9524876b88b3ad1c34e
foo-overlay: 15d16bb4bc105fdf1309ef638f91ec792b50bd1b
bar-overlay: f1e9085ee695ff5b6ce57d430d6b224aaf4fa0a6
flora: bfd5882ce2949014f399443d65d05c83aa047a83
mythtv: d5133545c1814f01e74fe9079ba83d3cd21140f4

commit 9cbda7db8aaa42c2be6da6197ae457d388e92193
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Thu Jul 5 00:43:24 2012 -0600

glorious funtoo updates

merged:

gentoo: 3e28732e5d37c5827c3a410bcc93440520abaa35
funtoo-overlay: fa7dfad9b36f0b57b33f9b76b1866ccf8ec25c1b
foo-overlay: 8298ae4a92dd6e9925442616a6fc83e73c965abf
bar-overlay: 6c956f1ca6178fed85bda46013da787239706d7c
flora: 4c988e0067cd7d72ec3f8995c609387d299dc413

commit a1cb1d112087b93f9862c784d00b015aa6603305
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Thu May 24 12:43:55 2012 -0600

glorious funtoo updates

merged:

gentoo: ba1ba0fc91dae9c91b1bd70ecc3a43e020357d24
funtoo-overlay: e80dbcca23a53815e6fe40a340eb4829758c7112
foo-overlay: 1734f29d8ff0d8aaff6ffeb950970d6d1da6a20f
bar-overlay: fb087c5a693ccc4195a2b824a60290a724802b2c
flora: cc6bcac5ad16de36c3f83f446ac1d377e05e549f

commit a3e446a753a7647bef2909f3415ce10a8464dddc
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sat Mar 3 00:20:39 2012 -0700

glorious funtoo updates

merged:

gentoo: 8f9d5e4e22d6a4719c7d27088159d2fdb41c34c0
funtoo-overlay: 2867893c4cd28354fbdbb0c12bb6b4cf54e882ee
foo-overlay: b4e58d91b000f1bb672d6377cc647d429f8fd983
bar-overlay: 4b6579bdb26d820bd55e85488c8e5eb80d8e8011
flora: 58520b045c6d27f01e4db6fea7a538469f3fec7b

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