gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/prover9

Automated theorem prover for first-order and equational logic

Screenshots

  • prover9-2009.11a-r1
    ~amd64 ~x86
    examples

    View      Download      Browse     License: GPL-2   
    Overlay: gentoo

ChangeLog

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 42c84c5720ed7e0b36fe32051acace23051840e5
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sun Jan 22 08:22:17 2017 -0700

merged from funtoo-staging

merged:

funtoo-staging: ab6021fdfd361981ab43d040e08266fa9484a616

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 9fa6a7e8cb89caabf2a492d3e1a3c8aafc7a01fd
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Jan 8 13:29:07 2014 -0700

glorious funtoo updates

merged:

funtoo-overlay: 040e3b3e324b0e6131c6a5759f67b4d6f194adff
foo-overlay: 3e94cf472419874fc129c110ec6e8ffa4cda4265
bar-overlay: 09dbf39ca3130b8fa3d3c049518b56edd8dffcbe
mate: dba9a42b170dac9ecdb4538a4df29aea6921498f
squeezebox: 3b7b8b97ca62d555c9e8456eb685627976cab6c2
sabayon-for-gentoo: cd4d3f131451c91fd01b140e34adceaa7b7727f6

commit 8c0ab819334dab30cb7aad38252f747e13f38b33
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Jan 6 13:27:11 2014 -0700

glorious funtoo updates

merged:

funtoo-overlay: 8fe108f5c8ba510720caa25f654e0f8d6eb01d49
foo-overlay: 3e94cf472419874fc129c110ec6e8ffa4cda4265
bar-overlay: 09dbf39ca3130b8fa3d3c049518b56edd8dffcbe
mate: dba9a42b170dac9ecdb4538a4df29aea6921498f
squeezebox: 3b7b8b97ca62d555c9e8456eb685627976cab6c2
sabayon-for-gentoo: cd4d3f131451c91fd01b140e34adceaa7b7727f6

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 5f4fcb805c9baae2db7ea6b8af5e55848451bc6b
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Jan 30 00:21:17 2012 -0700

glorious funtoo updates

merged:

gentoo: 2a6d31aa8a203f588e9f28e818f8cf740a852fcc
funtoo-overlay: 78fea024a1dd0e2cb64a0d79ed340d4e243f73ab
foo-overlay: 1f6221fc09bef4647caf44c57a3cf48a65ce58bb
bar-overlay: 4b6579bdb26d820bd55e85488c8e5eb80d8e8011
flora: 6db655393c36fe76ddadec67531804aa40a6196a

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