SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

coq rpm build for : Fedora 18. For other distributions click coq.

Name : coq
Version : 8.4pl1 Vendor : Fedora Project
Release : 1.fc18 Date : 2013-01-14 17:45:15
Group : Applications/Engineering Source RPM : coq-8.4pl1-1.fc18.src.rpm
Size : 158.86 MB
Packager : Fedora Project
Summary : Proof management system
Description :
Coq is a formal proof management system. It allows for the development
of theorems through first order logic that are mechanically checked by
the machine. Sets of definitions and theorems can be saved as compiled
modules and loaded into the system.

This package provides the main Coq binary without an optional IDE,
Coqide.

RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/18/x86_64

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  coq-8.4pl1-1.fc18.x86_64.rpm
     

Provides :
coq
coq(x86-64)
coq-xemacs
coq-xemacs-el
ocaml(Acic)
ocaml(Acic2Xml)
ocaml(Argextend)
ocaml(Arguments_renaming)
ocaml(Ascii_syntax)
ocaml(Ascii_syntax_plugin_mod)
ocaml(Assumptions)
ocaml(Auto)
ocaml(Auto_ind_decl)
ocaml(Autoinstance)
ocaml(Autorewrite)
ocaml(Backtrack)
ocaml(Bigint)
ocaml(Btermdn)
ocaml(Cases)
ocaml(Cbv)
ocaml(Cbytecodes)
ocaml(Cbytegen)
ocaml(Cc_plugin_mod)
ocaml(Ccalgo)
ocaml(Ccproof)
ocaml(Cctac)
ocaml(Cemitcodes)
ocaml(Cerrors)
ocaml(Certificate)
ocaml(Cic2Xml)
ocaml(Cic2acic)
ocaml(Class)
ocaml(Class_tactics)
ocaml(Classes)
ocaml(Classops)
ocaml(Clenv)
ocaml(Clenvtac)
ocaml(Closure)
ocaml(Coercion)
ocaml(Command)
ocaml(Common)
ocaml(Compat)
ocaml(Const_omega)
ocaml(Constrextern)
ocaml(Constrintern)
ocaml(Contradiction)
ocaml(Conv_oracle)
ocaml(Cooking)
ocaml(Copcodes)
ocaml(Coq_config)
ocaml(Coq_micromega)
ocaml(Coq_omega)
ocaml(Coqinit)
ocaml(Coqlib)
ocaml(Coqtop)
ocaml(Csymtable)
ocaml(Decl_expr)
ocaml(Decl_interp)
ocaml(Decl_kinds)
ocaml(Decl_mode)
ocaml(Decl_mode_plugin_mod)
ocaml(Decl_proof_instr)
ocaml(Declarations)
ocaml(Declare)
ocaml(Declaremods)
ocaml(Decls)
ocaml(Detyping)
ocaml(Discharge)
ocaml(Dischargedhypsmap)
ocaml(Dn)
ocaml(Dnet)
ocaml(DoubleTypeInference)
ocaml(Dumpglob)
ocaml(Dumptree)
ocaml(Dyn)
ocaml(Eauto)
ocaml(Egrammar)
ocaml(Elim)
ocaml(Elimschemes)
ocaml(Entries)
ocaml(Envars)
ocaml(Environ)
ocaml(Eqdecide)
ocaml(Eqschemes)
ocaml(Equality)
ocaml(Errors)
ocaml(Esubst)
ocaml(Eterm)
ocaml(Evar_refiner)
ocaml(Evar_tactics)
ocaml(Evarconv)
ocaml(Evarutil)
ocaml(Evd)
ocaml(Explore)
ocaml(Extend)
ocaml(Extraargs)
ocaml(Extract_env)
ocaml(Extraction)
ocaml(Extraction_plugin_mod)
ocaml(Extratactics)
ocaml(Extrawit)
ocaml(Field)
ocaml(Field_plugin_mod)
ocaml(Flags)
ocaml(Fmap)
ocaml(Formula)
ocaml(Fourier)
ocaml(FourierR)
ocaml(Fourier_plugin_mod)
ocaml(Fset)
ocaml(Functional_principles_proofs)
ocaml(Functional_principles_types)
ocaml(G_congruence)
ocaml(G_constr)
ocaml(G_decl_mode)
ocaml(G_extraction)
ocaml(G_fourier)
ocaml(G_ground)
ocaml(G_indfun)
ocaml(G_ltac)
ocaml(G_micromega)
ocaml(G_omega)
ocaml(G_prim)
ocaml(G_proofs)
ocaml(G_quote)
ocaml(G_ring)
ocaml(G_romega)
ocaml(G_rtauto)
ocaml(G_subtac)
ocaml(G_tactic)
ocaml(G_vernac)
ocaml(G_xml)
ocaml(Genarg)
ocaml(Glob_term)
ocaml(Glob_term_to_relation)
ocaml(Glob_termops)
ocaml(Global)
ocaml(Gmap)
ocaml(Gmapl)
ocaml(Goal)
ocaml(Goptions)
ocaml(Goptionstyp)
ocaml(Ground)
ocaml(Ground_plugin_mod)
ocaml(Hashcons)
ocaml(Hashtbl_alt)
ocaml(Haskell)
ocaml(Heads)
ocaml(Heap)
ocaml(Hiddentac)
ocaml(Himsg)
ocaml(Hipattern)
ocaml(Ide_intf)
ocaml(Ide_slave)
ocaml(Ideal)
ocaml(Impargs)
ocaml(Implicit_quantifiers)
ocaml(Ind_tables)
ocaml(Indfun)
ocaml(Indfun_common)
ocaml(Indrec)
ocaml(Indschemes)
ocaml(Indtypes)
ocaml(Inductive)
ocaml(Inductiveops)
ocaml(Instances)
ocaml(Interface)
ocaml(Inv)
ocaml(Invfun)
ocaml(Leminv)
ocaml(Lemmas)
ocaml(Lexer)
ocaml(Lib)
ocaml(Libnames)
ocaml(Libobject)
ocaml(Library)
ocaml(Libtypes)
ocaml(Logic)
ocaml(Matching)
ocaml(Merge)
ocaml(Metasyntax)
ocaml(Mfourier)
ocaml(Micromega)
ocaml(Micromega_plugin_mod)
ocaml(Miniml)
ocaml(Mltop)
ocaml(Mlutil)
ocaml(Mod_subst)
ocaml(Mod_typing)
ocaml(Modintern)
ocaml(Modops)
ocaml(Modutil)
ocaml(Mutils)
ocaml(Namegen)
ocaml(Nameops)
ocaml(Names)
ocaml(Nametab)
ocaml(Nat_syntax)
ocaml(Nat_syntax_plugin_mod)
ocaml(Nbtermdn)
ocaml(Newring)
ocaml(Newring_plugin_mod)
ocaml(Notation)
ocaml(Nsatz)
ocaml(Nsatz_plugin_mod)
ocaml(Numbers_syntax)
ocaml(Numbers_syntax_plugin_mod)
ocaml(Ocaml)
ocaml(Omega)
ocaml(Omega_plugin_mod)
ocaml(Option)
ocaml(Pattern)
ocaml(Pcoq)
ocaml(Persistent_cache)
ocaml(Pfedit)
ocaml(Polynom)
ocaml(Polynomial)
ocaml(Pp)
ocaml(Pp_control)
ocaml(Ppconstr)
ocaml(Ppdecl_proof)
ocaml(Ppextend)
ocaml(Pptactic)
ocaml(Ppvernac)
ocaml(Pre_env)
ocaml(Predicate)
ocaml(Prettyp)
ocaml(Pretype_errors)
ocaml(Pretyping)
ocaml(Printer)
ocaml(Printmod)
ocaml(Profile)
ocaml(Proof)
ocaml(Proof2aproof)
ocaml(ProofTree2Xml)
ocaml(Proof_global)
ocaml(Proof_search)
ocaml(Proof_type)
ocaml(Proofview)
ocaml(Q_coqast)
ocaml(Q_util)
ocaml(Quote)
ocaml(Quote_plugin_mod)
ocaml(R_syntax)
ocaml(R_syntax_plugin_mod)
ocaml(Recdef)
ocaml(Recdef_plugin_mod)
ocaml(Record)
ocaml(Recordops)
ocaml(Redexpr)
ocaml(Reduction)
ocaml(Reductionops)
ocaml(Refine)
ocaml(Refiner)
ocaml(Refl_omega)
ocaml(Refl_tauto)
ocaml(Reserve)
ocaml(Retroknowledge)
ocaml(Retyping)
ocaml(Rewrite)
ocaml(Ring)
ocaml(Ring_plugin_mod)
ocaml(Romega_plugin_mod)
ocaml(Rtauto_plugin_mod)
ocaml(Rtree)
ocaml(Rules)
ocaml(Safe_typing)
ocaml(Scheme)
ocaml(Search)
ocaml(Segmenttree)
ocaml(Sequent)
ocaml(Sign)
ocaml(Smartlocate)
ocaml(Sos)
ocaml(Sos_types)
ocaml(States)
ocaml(Store)
ocaml(String_syntax)
ocaml(String_syntax_plugin_mod)
ocaml(Subtac)
ocaml(Subtac_cases)
ocaml(Subtac_classes)
ocaml(Subtac_coercion)
ocaml(Subtac_command)
ocaml(Subtac_errors)
ocaml(Subtac_obligations)
ocaml(Subtac_plugin_mod)
ocaml(Subtac_pretyping)
ocaml(Subtac_pretyping_F)
ocaml(Subtac_utils)
ocaml(Subtyping)
ocaml(Summary)
ocaml(Syntax_def)
ocaml(System)
ocaml(Table)
ocaml(Tacexpr)
ocaml(Tacextend)
ocaml(Tacinterp)
ocaml(Tacmach)
ocaml(Tacred)
ocaml(Tactic_debug)
ocaml(Tactic_option)
ocaml(Tactic_printer)
ocaml(Tacticals)
ocaml(Tactics)
ocaml(Tauto)
ocaml(Term)
ocaml(Term_dnet)
ocaml(Term_typing)
ocaml(Termdn)
ocaml(Termops)
ocaml(Tok)
ocaml(Topconstr)
ocaml(Toplevel)
ocaml(Tries)
ocaml(Type_errors)
ocaml(Typeclasses)
ocaml(Typeclasses_errors)
ocaml(Typeops)
ocaml(Typing)
ocaml(Unicodetable)
ocaml(Unification)
ocaml(Unify)
ocaml(Unionfind)
ocaml(Univ)
ocaml(Unshare)
ocaml(Usage)
ocaml(Util)
ocaml(Utile)
ocaml(Vconv)
ocaml(Vernac)
ocaml(Vernacentries)
ocaml(Vernacexpr)
ocaml(Vernacextend)
ocaml(Vernacinterp)
ocaml(Vm)
ocaml(Vnorm)
ocaml(Whelp)
ocaml(Xml)
ocaml(Xml_lexer)
ocaml(Xml_parser)
ocaml(Xml_plugin_mod)
ocaml(Xml_utils)
ocaml(Xmlcommand)
ocaml(Xmlentries)
ocaml(Z_syntax)
ocaml(Z_syntax_plugin_mod)

Requires :
ocaml(Ring) = a860345042923fe851980f453bc1dc7d
ocaml(Lib) = 6057de67264e0704433bfbe4f9586c2a
ocaml(Eqschemes) = 565c83623968dd92d18faa0fe331d354
ocaml(Logic) = 93b71ceb2843cd792c954dc9deed75ed
ocaml(Dynlink) = e3a05e513a09627716f2c18944bb58ca
ocaml(Tauto) = 95516a15fcbacdfd56aeeb0eda3b9560
ocaml(Dumpglob) = 793788a63283857b78bbb078c4669bf1
ocaml(runtime) = 4.00.1
ocaml(Big_int) = 6ea0f5d18abf2406597321a99befa362
ocaml(Mfourier) = 463f5f4fc08c3dbd2efd42c7d224afd0
ocaml(Cic2acic) = f4ead8149efd4603bca9579a01c3b7a6
ocaml(Lazy) = be13470d54bbba2080e16d4f864ec34b
ocaml(Pre_env) = 54b70e5987e9971bf18070493b281894
ocaml(Conv_oracle) = 0bb785400b32024678d21d12a80da9aa
ocaml(Lexing) = 7e306603bdda9b5b4c50d1aac8def12a
ocaml(Typing) = 8321d75a6ff87d24b5f851dd82d0b857
ocaml(Hashtbl) = 718cd6ce8bc18371ce22483e362f78b4
ocaml(Nat) = 08c67210c7d2a23c3baf31b40921b560
ocaml(Gc) = 23b8d067f883f7a218c4945a42625a31
ocaml(Evarutil) = 36700d3ea7e585fdbc6aa3a6345af135
ocaml(Pfedit) = f6dad298b6d01a3c774f071834a5b67e
ocaml(Environ) = 14c4a2b809facdca0e66b5257f143711
ocaml(Heap) = 7ed42b04d0db4ac7fe6758b6368b1041
ocaml(Envars) = 5249f3e4bab75abcf8379358ad08f117
ocaml(Vernacexpr) = eb60b9b13adf7eaf9b7cfb5bf336aad2
ocaml(Ppextend) = d132512d969ebbbf147e384beae768c0
ocaml(Ppdecl_proof) = c081d693f99e2c20d5b326c45408cb26
ocaml(Mod_typing) = 2e114cc70ba9a72081e23ad51d01eecf
ocaml(Proof_type) = 7dff61b4a723c06219439e82798db667
ocaml(Sort) = 6ddcd88490193349c45bc9baee941ac4
ocaml(Table) = e61646dc37ef58ff6dd6e9140a456286
ocaml(Eprinter) = 73d86ffad32afecdc23a0615a4174999
libc.so.6(GLIBC_2.14)(64bit)
libc.so.6(GLIBC_2.3.4)(64bit)
ocaml(Fmap) = 473ceaaea0aa26afd064143cb3ecfd2e
ocaml(Redexpr) = d43bdaae3b57e54c39e0b8958ea0df88
ocaml(Refiner) = c092d4a65c681693529c14b9efcefe3a
ocaml(Indtypes) = 4f6d9db13767704a7bd0b5c5740d0a13
ocaml(Reductionops) = ef77d1ab37ff058220387b14f29a576a
ocaml(Polynom) = f3487f39670206231a9e027a61700392
ocaml(Mod_subst) = 0509d33a8b8b2a667a067dff40a75d77
ocaml(Mltop) = 5fae00bfe86a4fa6f5099f429abe059a
ocaml(Proof) = e07f5c4d9047279fbbf7556383e3d3ad
ocaml(Grammar) = 67b180ea66b3e2c92b89fc0611d675d5
ocaml(G_xml) = 0e7a12beb48cd26853e6882e80f02743
ocaml(Classops) = 062ff3a5498ac45fd56f05078c50150c
ocaml(CamlinternalLazy) = 7e4f61f0abc0dc4bb87447429adcf88a
ocaml(Decl_interp) = b4e1343788b11723abe310256feee93c
ocaml(Detyping) = 527cc59eabd7f0efc9398a593ad43c86
csdp-tools
ocaml(Explore) = 951233c8131841f0fdc3bae1dca298ee
ocaml(Rules) = 24f823e119166b6fed1e1ddbd996480e
ocaml(Names) = b47523c48b8dbc2b6f9287ac9f2a81ea
ocaml(Unification) = 58045f279ec06ab232bb7a2b17520f16
libc.so.6()(64bit)
ocaml(Nametab) = b313970a0cd0c996044e77b1d6df3a21
ocaml(Vm) = 7ee950a72080f86978fce896c3f0c937
ocaml(Unshare) = 6e4e91d4fb28fab21fad0a0b59509332
ocaml(Goptions) = c3e32f01042357a288252000feb434e7
ocaml(Compat) = 5af19461b834ba821828839886984648
ocaml(Micromega) = 7f03bbec9b8c778780a546b7582097ea
ocaml(Pattern) = d6667ce0c1d75cc1fc8ce37512c0af0b
ocaml(System) = df5c4b8ed6e501491e8af34cb401e5c6
ocaml(Constrintern) = ab94d8c79ee2e220d6a6eb93ec10ab46
ocaml(Declaremods) = 170f5d74e77f011480a294aae30c6391
ocaml(Cerrors) = befabe6b915796ac162873045416bc3b
ocaml(Nat_syntax) = 724ac63fac28f6aaece48e6ce2006f93
ocaml(Proofview) = 4f98610370e6f12cffc9a1cc323e440d
ocaml(Egrammar) = 60e937d98e56d53ce789031abe599655
ocaml(Ploc) = c49f559126440f76caa25c12c166b110
ocaml(Cctac) = 0e8dcd8e0a7769e0a6c7c5e0310721be
ocaml(Termops) = 7dfd13516290ef7621ab5de60db9dee0
ocaml(Printf) = 10fca44c912c9342cf3d611984d42e34
ocaml(Ppvernac) = 7abc030531dfb38928965b07d3cc6501
ocaml(Vernacinterp) = cbcc0671a5ecaa21808c8c5d7f741a7f
ocaml(Unix) = b6bfdb83f38c665d97fc0f322923311f
ocaml(Extratactics) = 729d67b79ba1c6f7600fdfe00de2ebc3
ocaml(Autorewrite) = 82aaef556c9a3554370b7fbe814922be
ocaml(Csymtable) = 2fdd53c00c5243fe54e01c9a9da4d299
ocaml(Assumptions) = 6b5ca01318306dd74a24a9476fffd199
ocaml(Decls) = 9fcdd5752fac7dccd2efb78cb8c0b2e7
ocaml(Command) = 2f8386878e24dcaeecbf9b9bc4393b7d
libm.so.6()(64bit)
libc.so.6(GLIBC_2.3)(64bit)
ocaml(Sos_types) = c03d93a01cbfc209bb2a7ce353a7f0c8
libdl.so.2(GLIBC_2.2.5)(64bit)
ocaml(Elim) = f591be30b89544e6f768c1c3dfb7dcf0
ocaml(Tries) = b75209ebe5f4403e4eaf0d03920a02e3
ocaml(Char) = 2693889a299a12395f3d4a288142de6d
ocaml(Ascii_syntax) = 34cdc55bce617ec9b215435eeac9d0d6
ocaml(Safe_typing) = dc7021f1276d86c8c5a6a7dd9e98dcc7
ocaml(Omega) = 7a7edc3b531cbb332eb6a36397c00f01
ocaml(Merge) = 73a5de905edf41b7145a4ac56219efb2
ocaml(Typeclasses) = 7e56e403e31ebb85b87b1565ab716ba6
ocaml(Ratio) = b8c317f84aa07072a3ecac75898ac831
ocaml(Acic2Xml) = 1346bf51d97c66799ac223ec20fbc3db
ocaml(Ideal) = de1b32dcd7fa5fb9327d6374b23e6fd2
ocaml(Flags) = 4dd236be4354d07ced2ae7f5ed2863df
ocaml(Marshal) = 7d35e935d355b5f2b1616ed652df9ca6
ocaml(Decl_mode) = d503e05235958af25cbf160cd3d2780f
ocaml(Printexc) = 1576494623cf9d670883c0a9dde994ae
ocaml(Ground) = 3fb8bee58aa8ac6e041f60cba7aa8184
ocaml(Refl_tauto) = da9fdc559205ada5a231298a315a4810
ocaml(Coq_omega) = 788e396e078d50e413363396128ca297
ocaml(Pcaml) = 7b9c8236d1f9e87ce5345ddadf46a90c
ocaml(Libnames) = f8ebb7814efd6bb6332be1dd356b6c58
ocaml(Term) = 23791a837629414d61eaacbed14cb49f
ocaml(Num) = dc3dc81a9bf6c00fd6ed8ea8b9243eb6
ocaml(Subtac_obligations) = 7aba31f03239300ac9345b79625e18d9
ocaml(Heads) = 1f40dba6dbb84ad2a44ff129f580e210
ocaml(Lemmas) = 1885a5de8eb53577ef91296b474416ae
ocaml(DoubleTypeInference) = fcf00f734f0c3d157471de8aff95a7dc
ocaml(Tactic_debug) = 3555fe5c3f8b0daf25604e94c3368a76
ocaml(Dyn) = 5268a7911e5e911ad71a17ccc349e047
ocaml(Ind_tables) = 7284d447035528dcd2fc7d58f175c9d5
ocaml(Xml) = 335b166af719466efd9954f0bb09cf58
libc.so.6(GLIBC_2.4)(64bit)
ocaml(Tactics) = 949c2c75396c45ddad9a28f3e8495e7d
ocaml(Filename) = db19aeb2a8d7e9bd0f4c54d51c6a433e
ocaml(Type_errors) = b2f9fb9e63c1d0b3f0f277b9d84d47bf
ocaml(Tacticals) = 94cc097d8189ebd8f96d667b544cdfcb
ocaml(Namegen) = 9ce559b4053626e9c11be4fe8b40267e
ocaml(Const_omega) = 3fe8f8371388d4df970847d882900043
ocaml(Array) = 4d5efba91ec70acd7b184fd4b277708c
ocaml(Pptactic) = 74dbc86fe99bf9279f6615abf0ed95e1
ocaml(Hipattern) = e66fb1045859708abe3400617d9fbd57
ocaml(Elimschemes) = 0827607ba0bd07661403f51937acf0e3
ocaml(Decl_proof_instr) = d38d4cb1f278307680c6bd7e48bd1d26
ocaml(Coqinit) = 9d656fd65c0eba0efc237327d781968a
ocaml(Ccalgo) = 836fbf2b6f0ebcd9a65851fd8fd31d4a
ocaml(Pprintf) = 5c6f1e946f01c01ecd7eb7ffa8fe5628
ocaml(Certificate) = 04bab76c9085738eceaf0270c7236cc4
ocaml(Vnorm) = 84fb71cda0eacd900fcc20d4cac58eac
ocaml(Proof_global) = 976b49c60452872a7d3269dbcd278be0
ocaml(Hashtbl_alt) = d2f8bcfebaf162753cac3047ed044de5
ocaml(Indrec) = 05a85d683e022dc48830c7f4cc23b0a1
ocaml(Cemitcodes) = fb3e3e759e50d99c41e6dc2dc3ec7b22
ocaml(Formula) = 3fb3580812d485598824e9e535e559b8
ocaml(Extraargs) = eebd48e58389332aada5ae85634a0fb0
ocaml(Btermdn) = 08926aed86e90e39afa3c27793aac0f5
ocaml(Errors) = 45fc8282b323dfa791e7bb64de84ea51
ocaml(Ppconstr) = 7266a6260c42d4eab679dd214fb2b9fc
ocaml(Library) = 1bfc6cad981fde4e3b2a46b32b01ac87
ocaml(Arg) = 0912ae37a27d2d7d1889fb5c072b7f05
ocaml(Closure) = 7217ddb8f661bcdea39f8f1f65520b2c
ocaml(Esubst) = 8f64f3122ff9d3fbfffe8c86edd3ac91
ocaml(Invfun) = dc1c04259afa954ae788300c993e5c2e
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
ocaml(Interface) = 42fcc706b02d3cddc6cae027c719e699
ocaml(Tactic_option) = 34d9186c3e83d813cfbbd7b19ac35179
ocaml(Proof_search) = 995037f5bdb6a8858d72375abe8aa17f
ocaml(Typeops) = e9f78411a9e57dce41b0200346f59482
ocaml(Rewrite) = 7b0b683d13622dec56e8bfab4f1d84be
ocaml(Metasyntax) = 7e75bb75386f14d8499c626412840255
ocaml(Inv) = 8465ba03a841fef07951ebc7ee32f7c2
ocaml(Evd) = 18100b0aee697d07d4f488bd778abaa4
ocaml(Tok) = 588f401b33b9cd2284108b2f04a1ee0d
ocaml(Declarations) = 7cdd4235558a50e3ab9c127652363b0c
ocaml(MLast) = 8517b79e346c2ff18174da6c180fcd26
ocaml(Vernacentries) = 801727cb351f4d5d2ca7dc7ad636a82b
ocaml(Goptionstyp) = bf3ac8b37058ca85449f5106e12c9558
ocaml(Coercion) = 5ccc972f594745a8ed0d46a3b3b72b67
ocaml(Pp) = 0aa101735a26662869fad43d041a4056
ocaml(Typeclasses_errors) = ca1aa19d0a40e76afaa651201f0853e7
ocaml(Clenvtac) = ce3432d5220a3bcbe2cd3d6e6721eb62
ocaml(Miniml) = 8cc5e2163dba0933447851e15db05e34
ocaml(Sequent) = 406a1292b6f190832e18967bc00fe486
ocaml(Ccproof) = 6c7e959edac06fd133484351f5c8e641
ocaml(Coq_micromega) = 0aa45f329822e4bb34927fbad003a287
ocaml(Subtac_utils) = fca3ea3b3defa3542ecf2ac3b2f13787
ocaml(Fstream) = 630a8a34ff89dff6d1290c4b41ba4fd5
rtld(GNU_HASH)
ocaml(Predicate) = 004e109f6057a785bf21b1bfa78509ac
ocaml(Store) = 416cf0db66fc749a2c833f3cfe9bdeed
ocaml(Equality) = 5042d11e552e11ee4808f579839b847b
ocaml(Acic) = 74d6f744bcd91c60ef5f9f78da34f9b5
ocaml(Obj) = ad977b422bbde52cd6cd3b9d04d71db1
ocaml(Stack) = 2680fb284a871de3a3cb68decbeb6c3f
ocaml(Hashcons) = 3fedbda41291a1601b0b27e328137524
ocaml(String) = 54ba2685e6ed154753718e9c8becb28b
ocaml(Extend) = 098bd04793dd65d34671e6d7da987e96
ocaml(Dnet) = 2d812dd4007ac98dd53eb7dae25dbc50
ocaml(States) = aed0caeb9dfa8c0402ee88d4ae257e6b
ocaml(Global) = 1ee29f3d1ecd3da424e184397051a528
ocaml(Mutils) = 6b98addabf0876728e39a85c6fc71b48
ocaml(Smartlocate) = a9a33a55805b6535965d4d7b0d8e713b
ocaml(Xml_parser) = a8196f2f4c1dc499613b4c2a8570260f
ocaml(Class_tactics) = fbbb429a7f5eee3c170351b4e8fe54d5
ocaml(Cbytecodes) = 7199c9e5af1b3e17fb385d61a0e239ed
ocaml(Vernac) = 5794121b1e6f671edf851ecbf76a9f8d
ocaml(Fourier) = 5a088cff22ced54718b5790e4c42916c
ocaml(Digest) = fc1ddbe7729c06f1551c4154795b3b6c
ocaml(Gmapl) = e71d3116bf3cddd3dbdee669ebac0b9c
/bin/sh
ocaml(Extfun) = 4640998c813af030a6b90b166ae37068
ocaml(Leminv) = 443eda525694d62a5b578cb01fafc5ec
ocaml(Subtac_cases) = 663c45cc9f4a3fde93b8ee864125563b
rpmlib(FileDigests) <= 4.6.0-1
ocaml(Genarg) = a8c31c5b7f7a19a278e550d7798ae735
ocaml(Option) = 66fbeb921db79ae9d101e58c722194d6
ocaml(Subtyping) = 07470444e68f4e3a157459251bc349c3
ocaml(Set) = a7bdd82abd2a5609c0242e51ef43cacb
ocaml(Pcoq) = 949922aa11337858b63e04129f00f2fc
ocaml(Reduction) = 7ea4c7a1d9cdc88fc3aab5d2172a8806
ocaml(Refl_omega) = 63db9d5e3e286fcd7b88c1ea4854f3d7
ocaml(FourierR) = 2d5453e6e7493fcdb3bfb3cce4225ece
ocaml(Gmap) = da81102e899bdd54bc951914c692cf8a
ocaml(Extract_env) = 6581ceff15b63d3bb3d14215f0f7a431
ocaml(Retyping) = 6040503628d43182a6bb83c00e736936
ocaml(Format) = 6e6b7b75c544ef4ca673a763aec805af
ocaml(Backtrack) = 0a30d2ce5c17866331846688eacc3ad4
ocaml(Indfun_common) = 2ed8738d079fb08fb121606dad3f77bb
ocaml(Plexing) = ed09962042e18e13fa65ce7663d03089
ocaml(Inductiveops) = 4253b2b3e0dcc893d701c7a4400506db
ocaml(Stream) = 85d259e9a37648998b6c03b551d68e46
ocaml(Evarconv) = cd468d6e9e43e88e6f2b37bbec07707a
ocaml(Mlutil) = 7c8c065443fa4ecedfe1df71586ba0db
ocaml(Functional_principles_types) = 993e9bc006d3ba1673dacfe91f133e02
ocaml(Impargs) = 25f85d5dd2cbfab62b34913e8260ec2b
libdl.so.2()(64bit)
ocaml(G_vernac) = e2c25b870dc24d7895b86ec574320c2f
ocaml(Evar_refiner) = b97d89dde1c7897d06765e921b9b660e
ocaml(Sys) = 45d17525db422614c1cc84b2d9f27926
ocaml(Modintern) = 860301b9ba077c37b5b985dd1f3f580b
ocaml(Pp_control) = 78093873beb4b6ebe4c8463e11948248
ocaml(Implicit_quantifiers) = f072c0c8cdb4fbf06679286eed2bfaa6
ocaml(Profile) = ebc749206b317e3567db5623d388835f
ocaml(Subtac) = 0f9001c4d52efe52cfc1d0c82f29dda9
ocaml(Str) = e42aad8fb20d54ddbff6b1ae2544ea03
ocaml(Map) = 1be6bb7484ad2000575776b38d423f2f
ocaml(Bigint) = d8a4f2c6a6c291028c11148572c27c15
ocaml(Prettyp) = 3168b4c542b2037e4b38a41093b09d64
libc.so.6(GLIBC_2.15)(64bit)
ocaml(Eauto) = b8b64ad439d7511c4114f0696149e14b
ocaml(Libobject) = eb3782a8bac828422880c4898c231ff3
ocaml(Modops) = 4d0b43bb97a79e5904ed5427a68fedfb
ocaml(Contradiction) = cda9ed5ab1197e3d20385e95d29531fd
ocaml(Cases) = 77fdec840aed0dedebd6d4122db0bd1b
ocaml(Proof2aproof) = 03e918f5f4809fa65e66d89c9c5d102e
ocaml(Int32) = 265928798c0b8a63fa48cf9ac202f0ce
ocaml(Rtree) = 98fccc81d0427129c4c836b2f008fd50
ocaml(Summary) = 323a056a2aaade2727882042108efc19
ocaml(Inductive) = 6f9991a43284253c47d2299690bf2342
ocaml(Indfun) = 138234945be5a95a17afa8681b7fe90a
ocaml(Pretyping) = fa4fb1495649489afcdf33eb91585a11
ocaml(Nameops) = f92e76015b909acd2e51375a23385ef6
ocaml(Glob_term) = 1e222126e708b9495c6873cecef07653
ocaml(Lexer) = 89fa97f58b73f88b544be9ffad139757
ocaml(Quotation) = e80d4f8036389bb099538c8ba19ffd9b
ocaml(Pervasives) = 4836c254f0eacad92fbf67abc525fdda
ocaml(Retroknowledge) = a06579b2a147ec5f6152fbafab993c41
ocaml(Buffer) = 3f6c994721573c9f8b5411e6824249f4
ocaml(Arguments_renaming) = bc459a6bb5a762cd2399dbb7e548df2d
ocaml(Gramext) = 4b4437e57950e99cbf7712292ef87351
ocaml(Token) = 8817ec44831e1602de2c066d11109f9c
ocaml(Persistent_cache) = ef0bd5257dcfc03d418eb647954ab047
ocaml(Subtac_coercion) = ebd6cbf1342c909880f1efdb3ce84a83
ocaml(Hiddentac) = c4501026e3d0ff8b028367a00bd5a656
ocaml(Cooking) = 41459ea8b491ab8811b24af37abd650a
libc.so.6(GLIBC_2.2.5)(64bit)
ocaml(Evar_tactics) = 3918b11885b4dd3edb899e73aa12b5a3
ocaml(Tacred) = 433d5cad3dcb2527bdd2b506a0df7e36
ocaml(Queue) = 9e4770869a4e57f5db312d7fdd5e6810
ocaml(Util) = 2c8636a90647500f92f50f2cd9580c73
ocaml(Tacexpr) = 5219bdd8abe15310f75a33dddf7381db
ocaml(Recordops) = 8bee56039c8cfcdac3ba9cac843c4a01
ocaml(Notation) = 35ad7b9c7e84f753b828810c87a062ce
ocaml(Printer) = e8a3413c8d2e3813be712d8e81e7c08c
ocaml(Scanf) = 6ba1a49186bb3df3bb5fad3a9e7fe3da
ocaml(Refine) = c8a5503add4d38a50d9e66a3d50f2caf
rpmlib(CompressedFileNames) <= 3.0.4-1
ocaml(Tacinterp) = 058ffa09310f4eaefd2b398c046195ac
ocaml(Sign) = 4aef2f214d89a9be5cc3e0ba30f0cd4e
ocaml(Entries) = 9cc07671b7dcda030056c1ddda5bf7df
ocaml(Dischargedhypsmap) = 4884c48da5daeb233dea10f49e0738b6
ocaml(Himsg) = 96460009bef9ddfa86bf530fbb160e69
ocaml(Classes) = 2ddbb035bb9a2793d9868427d8da16c4
ocaml(Printmod) = 1b7b3ba1569cb1aff7b6733b67b27fb6
ocaml(Auto) = 7a756e31e5a71f206743613cf3c818e6
ocaml(Extrawit) = bac80fbf576ed9c28b13dffde4035bde
ocaml(Topconstr) = 526b9a8879cef3314d03d1a840cbfa3a
ocaml(Class) = 1683ee723541e118a4a291adfa4ae6e4
ocaml(Constrextern) = 820004393a4f6dccb1d16016bdee7d2c
ocaml(Utile) = f666af8f01820ca6a7948453eac92d75
ocaml(Coqlib) = 113ce647f691e7f07c295f48049815e4
libm.so.6(GLIBC_2.2.5)(64bit)
ocaml(Xmlcommand) = 6b85c74b45918297330cb2d673124ef7
ocaml(Pretype_errors) = abfdd6ca37b29cfb1f0a2f610d10b608
ocaml(Decl_expr) = 01281f86817fa78501c959bc141e2948
tex(tex)
rpmlib(PayloadIsXz) <= 5.2-1
ocaml(CamlinternalOO) = 8de55d11b771c63f6270c707c3c0f81b
ocaml(Vconv) = a79ee01f84447f43c45111f442ea263e
ocaml(Unify) = 6a95fd8994e702deb3368a0b5d87ecf9
ocaml(List) = bd7c662c09e850306a62c12fed5ef5ce
ocaml(Term_dnet) = 575f2cb143eb30b9e98afa3da5e60430
ocaml(Reserve) = 67c3252170c9dd11a5a48fa60970f150
ocaml(Goal) = 4258d0578ef0b3c52860b45979014e1b
ocaml(Coq_config) = 00c1998f25247a17d13fbf7f8655f1ae
ocaml(Declare) = a3fec3439019dd616fd6c9d7431e8ab7
ocaml(Matching) = 87f2600288b8e6b3be097bd66421638b
ocaml(Univ) = 4d51cbe0d84559fca901901a8f95b467
ocaml(Clenv) = d7ac4fe646b0f6512c1574bf6084dec6
ocaml(Xml_utils) = fbdb33004a9f60ffb012e3c9e47e49a1
ocaml(Syntax_def) = 298e55321c46f8936ed30b7c7bf6d4ed
ocaml(Polynomial) = b7d1b68e91950b339e6a0f14868ba6c0
ocaml(Unionfind) = 357c2ed12848423410aab71babc3bf17
ocaml(Quote) = 0c8d2a5cfae7e9bd0bbd43961fb94c25
ocaml(Tacmach) = a9c00900c50236c6877f65159de53df4
libc.so.6(GLIBC_2.7)(64bit)
ocaml(Glob_termops) = c5f1a045821edab3c0cea3ea63fe5e58
ocaml(Decl_kinds) = 4c63a4e179d045666b661d798110f392


Content of RPM :
/usr/bin/coq-tex
/usr/bin/coq_makefile
/usr/bin/coqc
/usr/bin/coqchk
/usr/bin/coqchk.opt
/usr/bin/coqdep
/usr/bin/coqdoc
/usr/bin/coqmktop
/usr/bin/coqtop
/usr/bin/coqtop.byte
/usr/bin/coqtop.opt
/usr/bin/coqwc
/usr/bin/gallina
/usr/lib64/coq
/usr/lib64/coq/RecTutorial
/usr/lib64/coq/RecTutorial/RecTutorial
/usr/lib64/coq/RecTutorial/RecTutorial.v
/usr/lib64/coq/config
/usr/lib64/coq/config/coq_config.cmi
/usr/lib64/coq/config/coq_config.cmo
/usr/lib64/coq/config/coq_config.cmx
/usr/lib64/coq/config/coq_config.o
/usr/lib64/coq/dllcoqrun.so
/usr/lib64/coq/interp
/usr/lib64/coq/interp/constrextern.cmi
/usr/lib64/coq/interp/constrintern.cmi
/usr/lib64/coq/interp/coqlib.cmi
/usr/lib64/coq/interp/dumpglob.cmi
/usr/lib64/coq/interp/genarg.cmi
/usr/lib64/coq/interp/implicit_quantifiers.cmi
There is 1467 files more in these RPM.

 
ICM