rpms / cvc4

Clone
Source Code
GIT

Commits 35

f20 f21 f22 f23 f24 f25 f26 f27 f28 f29 f30 f31 f32 f33 f34 f35 f36 f37 f38 main rawhide sharkcz-secondary-arch
Try harder to avoid build failures due to inconsistent warning options.
Jerry James • 6 years ago  
80b8558
New upstream release.
Jerry James • 6 years ago  
7e5614b
perl dependency renamed to perl-interpreter <https://fedoraproject.org/wiki/Changes/perl_Package_to_Install_Core_Modules>
Petr Písař • 6 years ago  
0451dab
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_27_Mass_Rebuild
Fedora Release Engineering • 6 years ago  
d5f5a58
Fix FTBFS (bz 1427891).
Jerry James • 7 years ago  
ff83d75
Rebuilt for Boost 1.63
Kalev Lember • 7 years ago  
87a98e5
Minor spec file cleanups.
Jerry James • 7 years ago  
d86605b
Rebuild for readline 7.x
Igor Gnatenko • 7 years ago  
0cb6d37
Rebuilt for linker errors in boost (#1331983)
Jonathan Wakely • 7 years ago  
867ad49
Build with C++98 support until the next release.
Jerry James • 8 years ago  
12b1519
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
Dennis Gilmore • 8 years ago  
13f2867
Rebuilt for Boost 1.60
Jonathan Wakely • 8 years ago  
a1ee81d
Rebuilt for Boost 1.59
Jonathan Wakely • 8 years ago  
a2cafdd
- Rebuilt for https://fedoraproject.org/wiki/Changes/F23Boost159
Dennis Gilmore • 8 years ago  
369ec59
rebuild for Boost 1.58
David Tardon • 8 years ago  
e0f4509
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
Dennis Gilmore • 8 years ago  
7aad03e
Rebuilt for GCC 5 C++11 ABI change
Kalev Lember • 8 years ago  
5b4a2d1
Don't use perftools at all due to random weirdness on multiple platforms.
Jerry James • 9 years ago  
b938af9
Remove i686 from have_perftools due to test failures.
Jerry James • 9 years ago  
7bd0d82
Work around %{__isa_bits} brokenness on koji.
Jerry James • 9 years ago  
1eebfe3
Add -boolean, -minisat, and -signed patches to fix test failures.
Jerry James • 9 years ago  
ebc8ce8
Rebuild for boost 1.57.0
Petr Machata • 9 years ago  
6e15f19
New upstream release.
Jerry James • 9 years ago  
f624faa
Remove arm platforms from have_perftools due to bz 1109309.
Jerry James • 9 years ago  
9feb5dc
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
Peter Robinson • 9 years ago  
bf0a467
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
Dennis Gilmore • 9 years ago  
08380b2
rebuild for boost 1.55.0
David Tardon • 9 years ago  
f079f09
Add missing line continuation in merged changes.
Jerry James • 10 years ago  
f90fcc7
Merge changes from Dan Horák to fix secondary arch builds.
Jerry James • 10 years ago  
4ead8ba
catch also s390{,x} whose triplet is s390{,x}-ibm-linux-gnu
Dan Horák • 10 years ago  
ee6164b
allow build without gperftools
Dan Horák • 10 years ago  
6f20269
glibc Provides /sbin/ldconfig, not /usr/sbin/ldconfig.
Jerry James • 10 years ago  
8891b6f
The documentation is arch-specific after all.
Jerry James • 10 years ago  
17debdc
Initial import.
Jerry James • 10 years ago  
b98f57b
Initial setup of the repo
Fedora Release Engineering • 10 years ago  
a626dad
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.