Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 688652 - sci-mathematics/cvc4-1.7 version bump
Summary: sci-mathematics/cvc4-1.7 version bump
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Tupone Alfredo
URL: http://cvc4.cs.stanford.edu/web/2019/...
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2019-06-25 08:55 UTC by Denis Efremov
Modified: 2019-07-14 19:48 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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(+)