Sophie

• Search
• Distribution
• Explorer
• Source & Patches
• Chat
• Help
• About

distrib > Mageia > 4 > x86_64 > by-pkgid > b5af20111c9a7d71fe9d572fd34d119c > files

ocaml-why3-devel-0.81-2.mga4.x86_64.rpm

• Info
• Deps
• Files
• Scripts
• ChangeLog
• Location
• Others versions
• Analyse

Files

-rw-r--r--	6185158	root	root	/usr/lib64/ocaml/why3/why3.a
-rw-r--r--	301473	root	root	/usr/lib64/ocaml/why3/why3.cmx
-rw-r--r--	3498	root	root	/usr/lib64/ocaml/why3/why3.cmxa
-rw-r--r--	58	root	root	/usr/lib64/ocaml/why3/why3.ml