rpms
/
cvc4
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Replace the 'ghostscript-core' requirement with 'ghostscript' 

To reflect Ghostscript's new package layout.
This commit is contained in:
David Kaspar [Dee'Kej] 2018-01-18 16:17:01 +01:00
parent 2e0d78bc80
commit 7f3ec6675d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cvc4.spec
View File

@ -35,7 +35,7 @@ BuildRequires: cryptominisat4-devel
BuildRequires: cxxtest
BuildRequires: doxygen-latex
BuildRequires: gcc-c++
BuildRequires: ghostscript-core
BuildRequires: ghostscript
BuildRequires: gmp-devel
BuildRequires: java-devel
BuildRequires: jpackage-utils