commit b9dfe5322d835a19344832f18c55490f8e897c7f
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Thu Jun 28 23:42:58 2018 +0100

sci-mathematics/cvc4: drop unused autotools

Package-Manager: Portage-2.3.41, Repoman-2.3.9

commit 99c48aa97f3af9e779455e8f2bb78a7bb02770a9
Author: Sergey Alirzaev <zl29ah@gmail.com>
Date: Thu Jun 28 23:40:16 2018 +0300

sci-mathematics/cvc4: bump to 1.6

fixes #726

commit 2a94f64d40e69b69ddfa1b5da7906d17009e5e6f
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri Nov 24 09:25:20 2017 +0000

refresh Manifests

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit 1a6ba469382ab24f8b77b4ff3b043b6e2ed68306
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Tue Feb 28 21:38:05 2017 +0000

follow ::gentoo in removing '# $Id$' headers

Done as
$ sed -i */*/*.ebuild -e '/^# \$Id\$$/d'

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit dd9b68c5879aa35f789279a2f17e4a565dfb1d11
Author: Sergei Trofimovich <siarheit@google.com>
Date: Tue Oct 4 22:37:10 2016 +0100

sci-mathematics/cvc4: tweak for gcc-6

Package-Manager: portage-2.3.1

commit 1bbbfde10f29bb748db00b16fe1795a9869b4a76
Author: Sergei Trofimovich <siarheit@google.com>
Date: Mon May 9 23:24:37 2016 +0100

sci-mathematics/cvc4: fix DESCRIPTION length

Package-Manager: portage-2.2.28

commit aa19eeb10bc2eb3e09f93fa8a102c322742943e4
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Tue Jan 26 14:19:48 2016 -0500

Update metadata.xml for GLEP 67

commit 4a585b54eb5f4c66e9b867f0bf95b390cbc62c60
Author: Heather <Heather@live.ru>
Date: Wed Aug 12 15:47:28 2015 +0400

fix headers and copyright lines

commit b9c11d9d44644f6a277de1f7af562de56e786675
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Aug 9 10:37:52 2015 +0100

convert '# $Header: ' lines to '# $Id$'

The change was adopted when ::gentoo switched to git.

https://github.com/trofi/gentoo-qa/blob/master/check_header.sh

Signed-off-by: Sergei Trofimovich <siarheit@google.com>

commit e122474494125ce7d0da50bec8cd6928ef54197e
Author: Sergei Trofimovich <siarheit@google.com>
Date: Mon Aug 3 21:40:23 2015 +0100

sci-mathematics/cvc4: disable tests

Package-Manager: portage-2.2.20

commit 1fdb7379b1e0cbb86a263d6aacc1ae734cb79724
Author: Lana Black <lanablack@amok.cc>
Date: Wed Jul 29 07:49:53 2015 +0000

sci-mathematics/cvc4: add missing cln dependency

commit e4466ea7400344b5a90bdf54760701a757d26d28
Author: Sergei Trofimovich <siarheit@google.com>
Date: Tue Jul 28 23:23:37 2015 +0100

sci-mathematics/cvc4: new package (a depend for cryptol)

Signed-off-by: Sergei Trofimovich <siarheit@google.com>