gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/coq

Proof assistant written in O'Caml

Screenshots

  • coq-8.20.0
    amd64 ~x86
    debug doc gui +ocamlopt test

    View      Download      Browse     License: LGPL-2.1   
    Overlay: gentoo
  • coq-8.19.2
    amd64 ~x86
    debug doc gui +ocamlopt test

    View      Download      Browse     License: LGPL-2.1   
    Overlay: gentoo

ChangeLog

commit 98ce582e4889010a5a2626d631a394aef189134a
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Jul 18 12:10:51 2017 -0600

merged from funtoo-staging

merged:

funtoo-staging: 398fb827f39fda227142189340592cb7bb4cb2aa

commit 2bdf839118f81740435daccfe2aa297e60bf4e5a
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Fri Jul 14 00:10:54 2017 -0600

merged from funtoo-staging

merged:

funtoo-staging: 7d8736d26c33c9342f360643ae816f5b1bd5cd01

commit d29c0731b87de44227cfd79ad5e0d392bbc425b5
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Fri Jul 7 12:11:03 2017 -0600

merged from funtoo-staging

merged:

funtoo-staging: c6527bdafc87b064414a62c641bc437c7601c147

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 5bb9fe896d9aacfff4fee2ac211d3fa0bbc581bd
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Jan 23 12:10:45 2017 -0700

merged from funtoo-staging

merged:

funtoo-staging: c39902de4c726a64d1c90bf94bfcb6cd7ee79fad

commit ed2419fd75d0372a36ff32c085da0c2701d66f74
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Dec 20 05:27:05 2016 -0700

merged from funtoo-staging

merged:

funtoo-staging: 49f5172a13f2144fbb496b049f090d9d8151861c

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 5e45afb7e7356113f594723b1c0f72933058e17f
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Fri Aug 12 21:01:23 2016 -0600

merged from funtoo-staging

merged:

funtoo-staging: 79c6b37d36d31daef4639fc33d9adbe046ff735b

commit 22bf3b06f954073fac39d22842fe579cbf784bc9
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Thu Jul 14 09:14:13 2016 -0600

merged from funtoo-staging

merged:

funtoo-staging: a43afddc21010b322ade4dac82549be217ac5ce7

commit 9b388d7ba062c1365e5ea484ecd9d93169e7bb35
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Jun 27 03:41:00 2016 -0600

merged from funtoo-staging

merged:

funtoo-staging: 90f8e6c5912131ec4fd0b825748c93224f82146f

commit 5c86939d3bae46a73a70884949fb82927e45eb0c
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sat Jun 25 03:38:03 2016 -0600

merged from funtoo-staging

merged:

funtoo-staging: 5bfb9eb7e2bd6d7bc2bf7e54db79bf4ab3eb57bd

commit c86d2b6385fe99621ac37d33781f523acdca43d5
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Jun 21 23:35:20 2016 -0600

merged from funtoo-staging

merged:

funtoo-staging: 8ea3f48a15b65dc1ed7cbc952b2f54a05d7fd26e

commit 16173dd8dc31303581d18f0aabce7cf11a2aa8b5
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue May 3 12:05:15 2016 -0600

merged from funtoo-staging

merged:

funtoo-staging: fcd3467dcdb1c0f21be59513e2722ce2c402ab2e

commit bd2ad8ba5d41b51783bb58c176b5b9cd23990fc4
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Apr 12 02:59:34 2016 -0600

merged from funtoo-staging

merged:

funtoo-staging: 38fe88607b392fc966cfdce6a3352667e8026233

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 f16830f818ba2d3bd931204d47a569404ad0383d
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Jan 26 06:15:52 2016 -0700

merged from funtoo-staging

merged:

funtoo-staging: a15c63226b5797c102d6731858912e7efe76c6ce

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 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 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 74637034b3ed447133d209d0ff071541240dbbde
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Jul 6 00:27:02 2015 +0000

merged from funtoo-staging

merged:

funtoo-staging: a59683b9d1914aa733f54726741a318adf22c1a6

commit 619d4c76e2b89c0e861f5461dcb2463cdc1344bf
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sat Jun 27 12:27:10 2015 +0000

merged from funtoo-staging

merged:

funtoo-staging: daf9500fca117728ed9b1ac0a3077e06174572fc

commit f886db2151fa710c8de0a00706da9ea146adaa11
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Fri Mar 20 10:28:07 2015 +0000

glorious funtoo updates

merged:

bar-overlay: e29c88fad87f3aab32f058943dc1d4a409b4ae85
bliss-overlay: 2dbfd41a61bb1da06bd42bada90e82d160d64ce3
squeezebox: cf7953988018d60d3638245b380406be494bd7ae
funtoo-deadbeef: 934cfe61820e0cd87936ecf58e58044ab64772bc
funtoo-gambas: 36b05775d6576be37e4227d50059aa88a7d1c246
funtoo-wmfs: 9f97ae675241901f470402ac27373b11512982ea
vmware: b98ffa6d5d97a41a8b7be0a258a5adf92ed2de27
sera: 97b0bfd1f11402ba2185f151efa5fbd1641601fa
faustoo: 765cd35a1a027c4659cb6f9721ef882228e08141
foo-overlay: 44af5419fabdb2f70469f6696330eac1c37b60d9
funtoo-plex: 2f1b570e8217fcb861a4b343b8165be8f9c26353
causes: e970db2d9ec438de534c551222aad939f614019b
sabayon-for-gentoo: 2a1376e743936e026018a884692bc712049465e6
funtoo-gnome: 8a87f27af7545ef5b7053e7591a1290994642393
funtoo-media: b4a573fab0c7eef87a5b17b7ecb550f80168ec79
funtoo-overlay: 57ad3677f6a893e3624627fb3682c0bd337c8520
funtoo-toolchain: 2004a5563e6e407d49dec494336a84efc5b0fefb
funtoo-ldap: 858183d65360a9d496c1f107af1e4d435835b0ab

commit ce5f58c56d5c0d3e5e048aa42e63e9bcc3ff85f6
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sun Feb 15 10:27:09 2015 +0000

glorious funtoo updates

merged:

bar-overlay: e29c88fad87f3aab32f058943dc1d4a409b4ae85
bliss-overlay: a80dcb2e91a529cc0c9278ddc1a04cfe9432e73f
squeezebox: cf7953988018d60d3638245b380406be494bd7ae
funtoo-deadbeef: ca74d92dcf16f1944f5d319ee5759b80eb1fd823
funtoo-gambas: 4f8856d203f94ba437cb72de8e42689b6434731d
funtoo-wmfs: 9f97ae675241901f470402ac27373b11512982ea
vmware: b98ffa6d5d97a41a8b7be0a258a5adf92ed2de27
sera: 97b0bfd1f11402ba2185f151efa5fbd1641601fa
faustoo: 22e8bf65918fd8381216a3cbdfcc9f3c59e42023
foo-overlay: 44af5419fabdb2f70469f6696330eac1c37b60d9
funtoo-plex: 053d584c4eeb8a92363b19249abe4f5c8bf1012b
causes: e970db2d9ec438de534c551222aad939f614019b
sabayon-for-gentoo: 6ff6702eeee703487b0182d4affa82ffdc2ff545
funtoo-gnome: fc2b3a31e46562cf7e00cf9ba2fa2a8825a91170
funtoo-media: 94a3e2317b63df0b6660226ed44eac6979149ed0
funtoo-overlay: 15a9798f69becfa43305e179ce75f66a9e22b54b
funtoo-toolchain: df24e08153b80faac0967c46b539e5025783165b
funtoo-ldap: b97b3fd7ab9c0ef7ab7884a57c0d9f1609b6b999

commit 7685a8b83b352194cd7ea6f06404209bcfa35dc3
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Fri Nov 28 22:22:37 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: 45be552a70d7a994857c00b2643208b42dce3008
funtoo-toolchain: 2fe5ad06282a508a055dc799f0097a1e22790e80
funtoo-ldap: 5d9e514fce6d2dda2327decf84dcd91b52fc67ac

commit c4c4d9108eba7385bc3e548b8be32347dfe2ac5a
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Nov 4 02:15:24 2014 +0000

glorious funtoo updates

merged:

bar-overlay: 1ad50aaef1e93863ab64d2b36a4a28686d55bb17
bliss-overlay: e5ae0a57a644bc1923dca08ac19f7dac8f40dad3
squeezebox: cf7953988018d60d3638245b380406be494bd7ae
funtoo-deadbeef: 387e40259abfabc35512865e807d055b75f8bf87
funtoo-redhat: 11b0f42e6896d7be416b97c710b9aeaad5021b82
funtoo-wmfs: 9f97ae675241901f470402ac27373b11512982ea
miramir: 26d8700304c5712b82d9f9cbbd47e756990d5339
sera: ee617f98fee968dd2e49638e025e02a5f79deb7c
faustoo: a99772faa289b5a111e05522894b82ab69a18c81
foo-overlay: 44af5419fabdb2f70469f6696330eac1c37b60d9
funtoo-plex: 19e6c68cebc0f438e6784b91dfd0ad70b71647dd
causes: 83c220ec2686e1374efdd380120df59260cbf331
sabayon-for-gentoo: 5dedc14b16a5cdc5a3958806bab42962d4afe5ee
funtoo-gnome: b9bcf11bba443f7ec5665d8a5557993503be1f5f
funtoo-mysql: 7bae69948a902d6facf307baa1419abe97022b97
funtoo-media: 25e165e74aab4a92ee1d6dfff3c31fcd5d826787
funtoo-overlay: 5f16fcda73f4075eb0b9be1a3b92f61ae164b0fa
funtoo-ldap: b6698b83eb63cf000c280da20f849620a62059c8

commit d942791f531a3c2b8c3702e5ed0dcb68b6faebd7
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Thu Jan 23 07:13:58 2014 -0700

glorious funtoo updates

merged:

funtoo-overlay: 2ed01c474f543b345b1639066be378262764e3ec
foo-overlay: 5e0dc0b0c8ce428c14693a2f3cc709a6f657afd7
bar-overlay: 09dbf39ca3130b8fa3d3c049518b56edd8dffcbe
mate: 9402448ed2a441317bacceb8e1172a27e74ea718
squeezebox: 9d23dd9a87c2e8621bc6b8b65a8c7b71766084d3
sabayon-for-gentoo: 8b69b0b3ec7090184f04a427cd61fbd528f889b3

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 648f90b6f01b285efe069bb42d6e9a15455ee1ba
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sat Aug 3 13:01:23 2013 -0600

glorious funtoo updates

merged:

funtoo-overlay: 4f534edd2e7603ca144a239dbfc3fe00dad63cf0
foo-overlay: 3151d1bc3adb6adb4f8004533d11c5264a43eb0b
bar-overlay: 09dbf39ca3130b8fa3d3c049518b56edd8dffcbe
flora: da07848913dd5f3d08d4b662120c643fe83796bd
mate: acb41977c759ef73d012ed0da8ba0018182587b3
bliss: 7644195be264589d9b19f919befcf21edc88ecbb
sabayon-for-gentoo: 97454771be17a5309c95f580c20ea1851af726a9

commit 23e93b3dfc26495733e2737a4dba09b481cafbc0
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Apr 15 13:07:31 2013 -0600

glorious funtoo updates

merged:

funtoo-overlay: a9a9285271b5c4d38b40729b85f13be6bf0bc341
foo-overlay: f7dfe75b6d07da7d211e64f6fc213b9c68f6bd49
bar-overlay: 0093f8c8d47e0fff61b04424d49241600c99e539
flora: da07848913dd5f3d08d4b662120c643fe83796bd
for-gentoo: 3f2c22364852fe310aa8f091a070196620233750

commit 437179bcdd9ac256c110cd56dc4e73bbb97cab4a
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Mar 5 13:31:00 2013 -0700

glorious funtoo updates

merged:

funtoo-overlay: ad8424e4787e4e49642965d2fadd75cad4119e70
foo-overlay: e258a2c560b99d0e05d6520058510503ec7206ca
bar-overlay: f1e9085ee695ff5b6ce57d430d6b224aaf4fa0a6
flora: 9be3a8e4438918b7f2a80779b49d084ad879b22e
for-gentoo: 3d603fed78988bb56c965cc9f0322b0e3c7cd05f

commit 50a1d755bc2c51b83e0b50797a03e1fcd00d604e
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Jan 16 00:41:57 2013 -0700

glorious funtoo updates

merged:

funtoo-overlay: 303633bdbf729f9b39a94897e8d6745097356330
foo-overlay: f7749549a67741868fbb3da8781e42cbac533fa7
bar-overlay: f1e9085ee695ff5b6ce57d430d6b224aaf4fa0a6
flora: b22e1805524bc8ed122ae4c2ea41593f9c6cec62
mythtv: 232ca207c520eb294db060a770aafd30ffa25afb

commit 636f09596d8801c1fcf26d779c1f9aca8b5b0c71
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Jan 7 01:00:19 2013 -0700

glorious funtoo updates

merged:

funtoo-overlay: d5e4769f61bf99012155b907bcb8dcc030a2033d
foo-overlay: f7749549a67741868fbb3da8781e42cbac533fa7
bar-overlay: f1e9085ee695ff5b6ce57d430d6b224aaf4fa0a6
flora: b22e1805524bc8ed122ae4c2ea41593f9c6cec62
mythtv: 232ca207c520eb294db060a770aafd30ffa25afb

commit cc9c102e08d03ae5d414acdb1a886ac148fe4a56
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sun Oct 7 00:29:21 2012 -0600

glorious funtoo updates

merged:

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

commit df6f3211d893ab9becb21b0233fa32b333fbf81b
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Fri Aug 24 12:43:12 2012 -0600

glorious funtoo updates

merged:

gentoo: 4b64abad7075874e67eefb383a936accc6b1e3da
funtoo-overlay: 730c1483202e5fd4a987d69ec1dc802d557b4aa9
foo-overlay: 4e928d47e22991dc209ec57d02372c56ceff4275
bar-overlay: 6c956f1ca6178fed85bda46013da787239706d7c
flora: 4cbb9b684d2abac91991502465f21fe8858343c1
lcd-filtering: dd3d9b094dbfc726ee9b3d886783a18b92f899fd
mythtv: 00027cc812a879fe67e687843f201cd95e000a94

commit fb5eda00206d9e3b664113c98a919a0d80948fa3
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Thu May 17 12:38:55 2012 -0600

glorious funtoo updates

merged:

gentoo: 2bbd9390bddc7cf0a9912683a0a8d2b919908183
funtoo-overlay: c630214485c08b3ebb44f2bc10b4a1305834334a
foo-overlay: 4b4489fab11d7f99874f91d5c7269234f58d9d72
bar-overlay: fb087c5a693ccc4195a2b824a60290a724802b2c
flora: cdd353877f1a3c8497a4bca95c9bb3aedf9b74ad

commit d9ad4074d3507fcb8db30e97917dc81e67bef7d7
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sat Mar 24 12:20:25 2012 -0600

glorious funtoo updates

merged:

gentoo: c5315d1607263a02f8ae2ae1a67fe613eb9218d4
funtoo-overlay: c66e29e72d74d0e9db508119238b344439f25a2d
foo-overlay: d368729389295f4191384547a258b784443e12c1
bar-overlay: 490840edb883a31b75107639b102e97c6969179b
flora: c858e0f7b072f275a098e7d20a706d271eb7dea5

commit 9a839dac0c59099afd6faa3847c2604f8a711b8e
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Fri Feb 24 00:21:23 2012 -0700

glorious funtoo updates

merged:

gentoo: fbee2a674a15e6764b0703e97bf148a87e9cb377
funtoo-overlay: af4b692362a44f4851ea32888337629636dc539b
foo-overlay: e1f80d2922f7ba56c8b9d32c4593e7fcd31e0dd8
bar-overlay: 4b6579bdb26d820bd55e85488c8e5eb80d8e8011
flora: f8f4f155f58ba23d782edb525dbcf8c9599c0dcc

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