cvc4-devel-1.3-4.fc20$>X>w}|J_>9I@?I0d   I +18L V ` t !y "$$8&)j)+++,i(,8,9,:-XG.0H0DI2XX2Y2\3]5^;k b>d?e?f?l?t?uAvC wDxGyI$I,Ccvc4-devel1.34.fc20Headers and other files for developing with cvc4Header files and library links for developing applications that use cvc4.S buildvm-10.phx2.fedoraproject.org Fedora ProjectFedora ProjectMIT and BSD and BoostFedora ProjectUnspecifiedhttp://cvc4.cs.nyu.edu/web/linuxi686d /ٕb ~e Sp(+p@r N?e<;=FI'K  H5GCVP0F( b-UK0z%!m[7 M7~  Kc# EGe - 1.3-4Jerry James - 1.3-3Jerry James - 1.3-2Jerry James - 1.3-1- Merge changes from Dan Horák to fix secondary arch builds- glibc Provides /sbin/ldconfig, not /usr/sbin/ldconfig- Install JNI objects in %{_jnidir} - The documentation is arch-specific after all- Initial RPM  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~1.3-4.fc201.3-4.fc20     cvc4bindingscompatcc_interface.hc_interface_defs.hcompatcvc3_compat.hcontextcdhashmap_forward.hcdhashset_forward.hcdinsert_hashmap_forward.hcdlist_forward.hcdtrail_hashmap_forward.hcvc4.hcvc4_public.hcvc4parser_public.hdecisionoptions.hexprcommand.hexpr.hexpr_manager.hexpr_stream.hkind.hoptions.hpickler.hsymbol_table.htype.hvariable_type_map.hlibclock_gettime.hffs.hstrtok_r.hmainoptions.hoptionsbase_options.hoption_exception.hoptions.hparserinput.hoptions.hparser.hparser_builder.hparser_exception.hprintermodel_format_mode.hoptions.hproofoptions.hpropoptions.hsat_solver_factory.hsmtlogic_exception.hmodal_exception.hoptions.hsimplification_mode.hsmt_engine.htheoryaritharith_heuristic_pivot_rule.harith_propagation_mode.harith_unate_lemma_mode.hoptions.harraysoptions.hbooleansoptions.hbuiltinoptions.hbvoptions.hdatatypesoptions.hidloptions.hlogic_info.hoptions.hquantifiersoptions.hrewriterulesoptions.hstringsoptions.htheoryof_mode.hufoptions.hutilabstract_value.harray.harray_store_all.hascription_type.hbitvector.hbool.hcardinality.hchain.hchannel.hconfiguration.hdatatype.hdivisible.hdump.hexception.hgmp_util.hhash.hinteger.hinteger_cln_imp.hinteger_gmp_imp.hlanguage.hlemma_input_channel.hlemma_output_channel.hpredicate.hproof.hrational.hrational_cln_imp.hrational_gmp_imp.hrecord.hregexp.hresult.hsexpr.hstatistics.hsubrange_bound.htls.htuple.huninterpreted_constant.hlibcvc4.solibcvc4parser.soSmtEngine.3cvc.gzlibcvc4.3.gzlibcvc4compat.3.gzlibcvc4parser.3.gzoptions.3cvc.gz/usr/include//usr/include/cvc4//usr/include/cvc4/bindings//usr/include/cvc4/bindings/compat//usr/include/cvc4/bindings/compat/c//usr/include/cvc4/compat//usr/include/cvc4/context//usr/include/cvc4/decision//usr/include/cvc4/expr//usr/include/cvc4/lib//usr/include/cvc4/main//usr/include/cvc4/options//usr/include/cvc4/parser//usr/include/cvc4/printer//usr/include/cvc4/proof//usr/include/cvc4/prop//usr/include/cvc4/smt//usr/include/cvc4/theory//usr/include/cvc4/theory/arith//usr/include/cvc4/theory/arrays//usr/include/cvc4/theory/booleans//usr/include/cvc4/theory/builtin//usr/include/cvc4/theory/bv//usr/include/cvc4/theory/datatypes//usr/include/cvc4/theory/idl//usr/include/cvc4/theory/quantifiers//usr/include/cvc4/theory/rewriterules//usr/include/cvc4/theory/strings//usr/include/cvc4/theory/uf//usr/include/cvc4/util//usr/lib//usr/share/man/man3/-O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tablesdrpmxz2i686-redhat-linux-gnudirectoryC source, ASCII textC++ source, ASCII textC++ source, ASCII text, with very long linesC source, ASCII text, with very long linesASCII textC++ source, UTF-8 Unicode texttroff or preprocessor input, ASCII text (gzip compressed data, from Unix, max compression)RR?p7zXZ !PH6 ]"k%a0W!vwJ0{asUo\-9C 50z rrf7p95/7;M%1u6tb뛰[qצvG[++?֪7kbAqGnˇtݢQ7(ȆF-(+/N*b3b?S$5s.:qUL7g$.F }hvj#Q60hWhTG}$7o).bc7훋HQQX.G9Ol ~mG 8̜XKtlUD& h"bjJVelN\&h$dI3U@y`^/@~h@o&klfEP -eh}XYlǵnŭ Y/Kla٥g`'!ߎ d薎0JdgC-zρ~-IyvmLP99a?[ӒvqϛҠD;o ?9*a[?wVrRqcj@^,7 Zd&V)IO;*kK 4UC$Ц7 (Pd+~G=XeIϿj]h }N`s!k0 |R FE|ە g϶y5mA4t$;kVʫ'~>,KX T`{N4h\ ;]`4HdE?oV)b~O!~*,5%+)-;vӈn>ja,#2q7AȨƶi]`;ilGvжolfqP oUDXUkeI ,͏G}siӀo얪iT˼t{YJ+Ȅt(9-r:Zyڡڤ'$ʲjSʞf1!~\y(#5@[ 2ہԀ#vn; ]݆7irs`rt$pVQm&P|T~#X?'[OFP 17ʧ|e{ \([ &!+r1҆`h& <8iww!rKImS=D\>\!wvȺ%ۋ :N}=wWL?0,z|mj?XWs>dTowPKl%AJ-*umv[ӈ 4*sؐ[`蹻n<){[ۨGE'Gi7{@(2cQ/5}G(feʤ_3uE^shD⺷y+q8fGH*W* u^MLX~eY4nJ4Ar\0b KI?J+.~L٪ѹzۓx(m|C;W |eik'$% 5=]^QJ9$AD$ ~G=Sm4RUCf sʸ72Μ>}~R+%K3 kځc@B\x@q+HTJwUo?GS&#ybIM+!0 % % j( y9GWlPИTvzlNH* =NU V{bfV|O/9}|CCΑof4+Qhx39T1"qVPeX$nQ#DY!{FCH&[;\v=0d8/T̶ YZ