gpo.zugaina.org

Search Portage & Overlays:

dev-ml/menhir

LR(1) parser generator for the OCaml language

Screenshots

  • menhir-20240715
    amd64 arm arm64 ~ppc ppc64 ~riscv x86
    +ocamlopt

    View      Download      Browse     License: GPL-2 LGPL-2-with-linking-exception   
    Overlay: gentoo
  • menhir-20231231
    ~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86
    +ocamlopt

    View      Download      Browse     License: GPL-2 LGPL-2-with-linking-exception   
    Overlay: gentoo
  • menhir-20230608
    amd64 arm arm64 ~ppc ppc64 ~riscv x86
    +ocamlopt

    View      Download      Browse     License: GPL-2 LGPL-2-with-linking-exception   
    Overlay: gentoo

ChangeLog

commit 2c2df31673afc111ab01ec41ceea455979365268
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Jul 24 00:10:55 2017 -0600

merged from funtoo-staging

merged:

funtoo-staging: 2f8188660db7a0cfcf17ee4ce40c0de72e9b0c01

commit e894c52985e89b328ad7070d2111322e0aaaa908
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Thu Jul 13 12:10:50 2017 -0600

merged from funtoo-staging

merged:

funtoo-staging: 6b707f6a0efbca3b8adb92109eacd2d34b149d28

commit f9f62fe7ba90461fc92816c9fd4f108173e58626
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sat Jul 8 12:10:54 2017 -0600

merged from funtoo-staging

merged:

funtoo-staging: 2f3b4e5db567a5c59f35a78c1102d450d9a31e5a

commit 6f2591b90bc6415787b07d3ff59514ab2be6af29
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Thu Jun 22 12:11:35 2017 -0600

merged from funtoo-staging

merged:

funtoo-staging: ea713592ac37fca8c349d3c283fce2c2ae4052cd

commit efc97a5cb17398fc647e219c856ea3cac9dc6410
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Thu Jun 8 12:10:47 2017 -0600

merged from funtoo-staging

merged:

funtoo-staging: bf790da3e9b30c67f6453e9173ead1eeb7fd9202

commit c4e06f880fcd8615c75fb5d70cfdeb71221bae15
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed May 10 12:10:40 2017 -0600

merged from funtoo-staging

merged:

funtoo-staging: 7d590a10be25f5d48d40bceebc48e7b0d172cc17

commit edaead3b4334ac1c392bcac29c672a8ebbda7598
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Apr 19 12:11:52 2017 -0600

merged from funtoo-staging

merged:

funtoo-staging: cc1a019f93d1214b1d86ce644c3d1224521008ff

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 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 149ca43cfe5313f00c3974677ec4228d1362aeec
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Thu Nov 17 07:13:34 2016 -0700

merged from funtoo-staging

merged:

funtoo-staging: a13b52c51931b6b01ac29ccd3e9821a85543d8af

commit 34c8594d872a084c0eda249bbfe90707e49a4017
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Nov 16 08:29:43 2016 -0700

merged from funtoo-staging

merged:

funtoo-staging: 25a740e6f923e810418559a1631b49e6c894274d

commit 27ab07ce0abc56b606f95a19f167ab48e14c83c3
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Aug 29 10:06:33 2016 -0600

merged from funtoo-staging

merged:

funtoo-staging: 2cc21bc570e4453dc73bb13444f79b0d04186dda

commit 859104cc83a554e089fe571f6f086eb4eeaf7fdc
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Thu Aug 18 00:09:31 2016 -0600

merged from funtoo-staging

merged:

funtoo-staging: cdbc0cf4fd9fb45f1900601e575625c812fa11c6

commit 1837fc015e158c531f0fa663a20e42a422d2f511
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue May 31 01:01:31 2016 -0600

merged from funtoo-staging

merged:

funtoo-staging: b0fa314c88546ed70cae0d77f207923d60331c9f

commit 0942aeb71bd0d5c38ae44b9d7fa7e08facca1131
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue May 24 11:01:22 2016 -0600

merged from funtoo-staging

merged:

funtoo-staging: e77ee02ef9b8dc76366f532600c8a25480db53ce

commit 223e42a626b60851f1ef493b0728e4d2e06e2888
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sat Mar 5 09:32:42 2016 -0700

merged from funtoo-staging

merged:

funtoo-staging: f5a878e5b2e905719174bf4b7d12d52e408e0095

commit f8d36219efe5f5862f3067a86574bcb87dad5364
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Fri Mar 4 02:41:55 2016 -0700

merged from funtoo-staging

merged:

funtoo-staging: 38e466b6eae4f8d0838db6dc0b60b413baa3b437

commit 92c3a85f3e36927a869f2d721394b2a16bed5d26
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Feb 9 22:19:17 2016 -0700

merged from funtoo-staging

merged:

funtoo-staging: 1aa5e40f3df9b5965dab645f6f5ecb5624ccf969

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 4aa85eac6647134dea2f10aa669fae7b9174a945
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Fri Nov 13 08:10:23 2015 -0700

merged from funtoo-staging

merged:

funtoo-staging: b7e0016e709d84ea888b2d9dbdc248829f88aabb

commit 2576da28a6ac57b1d8d9305fdf8724167ff5e0af
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Thu Nov 5 08:10:37 2015 -0700

merged from funtoo-staging

merged:

funtoo-staging: faa5e53b7dc30a073e3413867fabe0256500161f

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 0b613f9ad1d20ca33e2e64a50f4a00cef07c4397
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Fri Oct 30 08:10:22 2015 -0600

merged from funtoo-staging

merged:

funtoo-staging: 25d4195a4dea39af0d45cd6c46f328b40199b371

commit 7889e8d6bdfb0bed335b0030769fefcf5f8e4dea
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Oct 26 08:09:55 2015 -0600

merged from funtoo-staging

merged:

funtoo-staging: e37ad1aa97271f2029e74cd118d188f56214e765

commit 1a0c52027d689b4e6f04364df4681b9d9baa0d28
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Thu Oct 15 22:47:32 2015 +0000

merged from funtoo-staging

merged:

funtoo-staging: 59aa1c48ae671bc8ae6b2d7eaf99e82c0fdfa142

commit 7cb2fdb6b0d6ae1167b08fb20d53ecfbf3e05ae4
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Oct 6 17:04:14 2015 +0000

merged from funtoo-staging

merged:

funtoo-staging: 68db83ecd21dc2aefe9e11beb94362d328ce2a2e

commit 9781119c870823ba98f1a381de005521ed9f5be7
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Fri Sep 25 22:54:31 2015 +0000

merged from funtoo-staging

merged:

funtoo-staging: 246277491a275205f9617b80e0f9a169b07b02eb

commit a749bc6673d1d7c71e8664143e1a582f21980af3
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Fri Sep 18 20:18:56 2015 +0000

merged from funtoo-staging

merged:

funtoo-staging: 69c920a78f5728627eca9d09dd694e24c26a609b

commit f6e55a1c8ed9f20c99d4bd2b872a5e2c7ff5e1c7
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Aug 25 16:26:05 2015 +0000

merged from funtoo-staging

merged:

funtoo-staging: ab080716fa29ba6bc88a25933b4ba2af0ea32a04

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 a0d0c78b5be32839d1089cb950fbefb2e848699a
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Jul 8 08:28:57 2015 +0000

merged from funtoo-staging

merged:

funtoo-staging: 90fc6e7e400887237450860076ac352201c9f98b

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 ba6de175cabc73f33158b8e474aa4731e5ff22b4
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Dec 16 10:14:41 2014 +0000

glorious funtoo updates

merged:

bar-overlay: 1ad50aaef1e93863ab64d2b36a4a28686d55bb17
bliss-overlay: c470ff328750c00159d1ab7f7fb83322d2a8afa1
squeezebox: cf7953988018d60d3638245b380406be494bd7ae
funtoo-deadbeef: 387e40259abfabc35512865e807d055b75f8bf87
funtoo-redhat: 3f60fd94264c2ad1e5909b5c1825e51854e81cad
funtoo-wmfs: 9f97ae675241901f470402ac27373b11512982ea
vmware: b98ffa6d5d97a41a8b7be0a258a5adf92ed2de27
miramir: a3265040c5cc4c3acdc5815c60debbe71d587a42
sera: 97b0bfd1f11402ba2185f151efa5fbd1641601fa
faustoo: 031fa6de6bd560b2d39c1f36a13114715296be4b
foo-overlay: 44af5419fabdb2f70469f6696330eac1c37b60d9
funtoo-plex: 19e6c68cebc0f438e6784b91dfd0ad70b71647dd
causes: 9b263e0ba528cd8e66dc1b13462de4de115e6fab
sabayon-for-gentoo: 74de53e379c50c17c20814c52d23cf7d53d08c5b
funtoo-gnome: 1d91160b75e57ec903353164eef921ff68dbeb75
funtoo-mysql: b8efb00b1f34185a683eb00cf6ae2cf7a76a07cc
funtoo-media: 75fb37db4f3870aaa41db4a55757163b7fd21279
funtoo-overlay: 48a3867cb5cae86ee3b656031ad3af6f47d70c50
funtoo-toolchain: 25f53db421e8bf23b14331f90a2d1b0e7c59696a
funtoo-ldap: 5d9e514fce6d2dda2327decf84dcd91b52fc67ac

commit 5eceb39da5934cc31b6014f6eac08a33bff80d19
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Dec 1 18:14:46 2014 +0000

glorious funtoo updates

merged:

bar-overlay: 1ad50aaef1e93863ab64d2b36a4a28686d55bb17
bliss-overlay: 1e09c7946a2019d295beaa3d5a8369ccd8799356
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: c3b632cffb4634fefe4e11c6fec6848740a6f031
funtoo-gnome: ad6aaf94cae1f2d621c78e2116d7b75e2f6fd12c
funtoo-mysql: b8efb00b1f34185a683eb00cf6ae2cf7a76a07cc
funtoo-media: 75fb37db4f3870aaa41db4a55757163b7fd21279
funtoo-overlay: 6739e4700dadd691acac264661e0d1105ce0f8c4
funtoo-toolchain: 2fe5ad06282a508a055dc799f0097a1e22790e80
funtoo-ldap: 5d9e514fce6d2dda2327decf84dcd91b52fc67ac

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 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