rpms / cvc4

Clone
Source Code
GIT

#1 Replace the 'ghostscript-core' requirement with 'ghostscript'
Merged 5 years ago by jjames. Opened 5 years ago by dkaspar.
Unknown source master  into  master

file modified
+1 -1 
@@ -35,7 +35,7 @@
 

  BuildRequires:  cxxtest
 

  BuildRequires:  doxygen-latex
 

  BuildRequires:  gcc-c++
 

- BuildRequires:  ghostscript-core
 

+ BuildRequires:  ghostscript
 

  BuildRequires:  gmp-devel
 

  BuildRequires:  java-devel
 

  BuildRequires:  jpackage-utils

To reflect Ghostscript's new package layout.

Pull-Request has been merged by jjames
5 years ago
Metadata
None
No Tags
Flags
simple-koji-ci
failure
Build failed
5 years ago
Changes Summary 1
+1 -1
file changed
cvc4.spec
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.