Bug 688652

Summary:	sci-mathematics/cvc4-1.7 version bump
Product:	Gentoo Linux	Reporter:	Denis Efremov <efremov>
Component:	Current packages	Assignee:	Tupone Alfredo <tupone>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
URL:	http://cvc4.cs.stanford.edu/web/2019/04/09/cvc4-1-7-released/
Whiteboard:
Package list:		Runtime testing required:	---

Description Denis Efremov 2019-06-25 08:55:27 UTC

New version was released on the April 9th http://cvc4.cs.stanford.edu/web/2019/04/09/cvc4-1-7-released/

Reproducible: Always

Steps to Reproduce:
$ sudo emerge '>sci-mathematics/cvc4-1.6'                                                            

Actual Results:  
emerge: there are no ebuilds to satisfy ">sci-mathematics/cvc4-1.6".

Expected Results:  
[ebuild   R    ] sci-mathematics/cvc4-1.7  USE="cln" 0 kB

Comment 1 Larry the Git Cow gentoo-dev

2019-07-14 19:48:47 UTC

The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0165d1484b0c9ad0f2272960c80703e2c0b231f2

commit 0165d1484b0c9ad0f2272960c80703e2c0b231f2
Author:     Tupone Alfredo <tupone@gentoo.org>
AuthorDate: 2019-07-14 19:48:18 +0000
Commit:     Tupone Alfredo <tupone@gentoo.org>
CommitDate: 2019-07-14 19:48:18 +0000

    sci-mathematics/cvc4: Bump to 1.7
    
    Closes: https://bugs.gentoo.org/688652
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
    Package-Manager: Portage-2.3.66, Repoman-2.3.11

 sci-mathematics/cvc4/Manifest                    |  1 +
 sci-mathematics/cvc4/cvc4-1.7.ebuild             | 54 ++++++++++++++++++++++++
 sci-mathematics/cvc4/files/cvc4-1.7-gentoo.patch | 35 +++++++++++++++
 3 files changed, 90 insertions(+)