gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/otter

An Automated Deduction System

Screenshots

  • otter-3.3-r4
    amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos

    View      Download      Browse     License: otter   
    Overlay: gentoo

ChangeLog

commit fda585692f30d4ff5d0bca4015e4f2865b96d66c
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sat Mar 11 12:10:37 2017 -0700

merged from funtoo-staging

merged:

funtoo-staging: 12fe2ab68297f3f494dbdfc3f90dffce7ec0718a

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