Sophie

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

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

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

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

Files

drwxr-xr-x	4096	root	root	/usr/lib64/ocaml/why3
-r--r--r--	137	root	root	/usr/lib64/ocaml/why3/META
-rw-r--r--	8515061	root	root	/usr/lib64/ocaml/why3/why3.cma
-rw-r--r--	980632	root	root	/usr/lib64/ocaml/why3/why3.cmi