Sophie

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

distrib > Mageia > 3 > i586 > by-pkgid > 63310d71a062e55a8218dc92411c9ba9 > files

opam-doc-1.0.0-1.mga3.i586.rpm

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

Files

drwxr-xr-x	4096	root	root	/usr/share/doc/opam-doc
drwxr-xr-x	4096	root	root	/usr/share/doc/opam-doc/doc
drwxr-xr-x	4096	root	root	/usr/share/doc/opam-doc/jenkins
drwxr-xr-x	4096	root	root	/usr/share/doc/opam-doc/shell
drwxr-xr-x	4096	root	root	/usr/share/doc/opam-doc/tests
-rw-r--r--	393	root	root	/usr/share/doc/opam-doc/doc/Makefile
drwxr-xr-x	4096	root	root	/usr/share/doc/opam-doc/doc/dev-manual
drwxr-xr-x	16384	root	root	/usr/share/doc/opam-doc/doc/html
drwxr-xr-x	4096	root	root	/usr/share/doc/opam-doc/doc/man
drwxr-xr-x	4096	root	root	/usr/share/doc/opam-doc/doc/man-ext
drwxr-xr-x	4096	root	root	/usr/share/doc/opam-doc/doc/tutorials
-rw-r--r--	125	root	root	/usr/share/doc/opam-doc/doc/dev-manual/Makefile
-rw-r--r--	190079	root	root	/usr/share/doc/opam-doc/doc/dev-manual/dev-manual.pdf
-rw-r--r--	43416	root	root	/usr/share/doc/opam-doc/doc/dev-manual/dev-manual.tex
-rw-r--r--	5018	root	root	/usr/share/doc/opam-doc/doc/html/OpamAction.html
-rw-r--r--	5612	root	root	/usr/share/doc/opam-doc/doc/html/OpamClient.API.CONFIG.html
-rw-r--r--	3776	root	root	/usr/share/doc/opam-doc/doc/html/OpamClient.API.PIN.html
-rw-r--r--	4640	root	root	/usr/share/doc/opam-doc/doc/html/OpamClient.API.REPOSITORY.html
-rw-r--r--	5597	root	root	/usr/share/doc/opam-doc/doc/html/OpamClient.API.SWITCH.html
-rw-r--r--	7068	root	root	/usr/share/doc/opam-doc/doc/html/OpamClient.API.html
-rw-r--r--	3314	root	root	/usr/share/doc/opam-doc/doc/html/OpamClient.SafeAPI.html
-rw-r--r--	4533	root	root	/usr/share/doc/opam-doc/doc/html/OpamClient.html
-rw-r--r--	4292	root	root	/usr/share/doc/opam-doc/doc/html/OpamCompiler.Version.html
-rw-r--r--	4618	root	root	/usr/share/doc/opam-doc/doc/html/OpamCompiler.html
-rw-r--r--	5683	root	root	/usr/share/doc/opam-doc/doc/html/OpamConfigCommand.html
-rw-r--r--	3337	root	root	/usr/share/doc/opam-doc/doc/html/OpamCudf.ActionGraph.html
-rw-r--r--	4930	root	root	/usr/share/doc/opam-doc/doc/html/OpamCudf.Diff.html
-rw-r--r--	4143	root	root	/usr/share/doc/opam-doc/doc/html/OpamCudf.Graph.html
-rw-r--r--	4800	root	root	/usr/share/doc/opam-doc/doc/html/OpamCudf.Map.html
-rw-r--r--	4274	root	root	/usr/share/doc/opam-doc/doc/html/OpamCudf.Set.html
-rw-r--r--	9923	root	root	/usr/share/doc/opam-doc/doc/html/OpamCudf.html
-rw-r--r--	3509	root	root	/usr/share/doc/opam-doc/doc/html/OpamDarcs.html
-rw-r--r--	5269	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Aliases.html
-rw-r--r--	7941	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Comp.html
-rw-r--r--	5244	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Comp_descr.html
-rw-r--r--	5449	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Config.html
-rw-r--r--	3927	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Descr.html
-rw-r--r--	6135	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Dot_config.Library.html
-rw-r--r--	5741	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Dot_config.Section.html
-rw-r--r--	5974	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Dot_config.Syntax.html
-rw-r--r--	5551	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Dot_config.html
-rw-r--r--	5478	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Dot_install.html
-rw-r--r--	5354	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Export.html
-rw-r--r--	5239	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Filenames.html
-rw-r--r--	4989	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.IO_FILE.html
-rw-r--r--	5321	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Installed.html
-rw-r--r--	5367	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Installed_roots.html
-rw-r--r--	11271	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.OPAM.html
-rw-r--r--	5243	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Pinned.html
-rw-r--r--	5122	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Prefix.html
-rw-r--r--	5327	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Reinstall.html
-rw-r--r--	5302	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Repo_config.html
-rw-r--r--	5356	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Repo_index.html
-rw-r--r--	4255	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Subst.html
-rw-r--r--	4370	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.URL.html
-rw-r--r--	5287	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Updated.html
-rw-r--r--	5261	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Urls_txt.html
-rw-r--r--	10284	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.html
-rw-r--r--	4169	root	root	/usr/share/doc/opam-doc/doc/html/OpamFilename.Attribute.html
-rw-r--r--	4366	root	root	/usr/share/doc/opam-doc/doc/html/OpamFilename.Base.html
-rw-r--r--	4501	root	root	/usr/share/doc/opam-doc/doc/html/OpamFilename.Dir.html
-rw-r--r--	3782	root	root	/usr/share/doc/opam-doc/doc/html/OpamFilename.OP.html
-rw-r--r--	14730	root	root	/usr/share/doc/opam-doc/doc/html/OpamFilename.html
-rw-r--r--	24205	root	root	/usr/share/doc/opam-doc/doc/html/OpamFormat.html
-rw-r--r--	14922	root	root	/usr/share/doc/opam-doc/doc/html/OpamFormula.html
-rw-r--r--	3494	root	root	/usr/share/doc/opam-doc/doc/html/OpamGit.html
-rw-r--r--	3987	root	root	/usr/share/doc/opam-doc/doc/html/OpamHTTP.html
-rw-r--r--	3873	root	root	/usr/share/doc/opam-doc/doc/html/OpamHeuristic.html
-rw-r--r--	3503	root	root	/usr/share/doc/opam-doc/doc/html/OpamLocal.html
-rw-r--r--	4710	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.ABSTRACT.Map.html
-rw-r--r--	4304	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.ABSTRACT.Set.html
-rw-r--r--	4535	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.ABSTRACT.html
-rw-r--r--	4672	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.Base.Map.html
-rw-r--r--	4280	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.Base.Set.html
-rw-r--r--	4326	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.Base.html
-rw-r--r--	4802	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.IntMap.html
-rw-r--r--	4418	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.IntSet.html
-rw-r--r--	5162	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.Map.Make.html
-rw-r--r--	4810	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.Map.html
-rw-r--r--	3816	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.OP.html
-rw-r--r--	3557	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.OrderedType.html
-rw-r--r--	4763	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.Set.Make.html
-rw-r--r--	4273	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.Set.html
-rw-r--r--	4835	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.StringMap.html
-rw-r--r--	4454	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.StringSet.html
-rw-r--r--	4853	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.StringSetMap.html
-rw-r--r--	4475	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.StringSetSet.html
-rw-r--r--	12825	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.html
-rw-r--r--	3592	root	root	/usr/share/doc/opam-doc/doc/html/OpamPackage.Name.html
-rw-r--r--	3643	root	root	/usr/share/doc/opam-doc/doc/html/OpamPackage.Version.html
-rw-r--r--	8378	root	root	/usr/share/doc/opam-doc/doc/html/OpamPackage.html
-rw-r--r--	3710	root	root	/usr/share/doc/opam-doc/doc/html/OpamParallel.G.html
-rw-r--r--	5211	root	root	/usr/share/doc/opam-doc/doc/html/OpamParallel.Make.html
-rw-r--r--	3555	root	root	/usr/share/doc/opam-doc/doc/html/OpamParallel.SIG.G.html
-rw-r--r--	4769	root	root	/usr/share/doc/opam-doc/doc/html/OpamParallel.SIG.html
-rw-r--r--	5134	root	root	/usr/share/doc/opam-doc/doc/html/OpamParallel.html
-rw-r--r--	10949	root	root	/usr/share/doc/opam-doc/doc/html/OpamPath.Repository.html
-rw-r--r--	13943	root	root	/usr/share/doc/opam-doc/doc/html/OpamPath.Switch.html
-rw-r--r--	9221	root	root	/usr/share/doc/opam-doc/doc/html/OpamPath.html
-rw-r--r--	3860	root	root	/usr/share/doc/opam-doc/doc/html/OpamPinCommand.html
-rw-r--r--	13740	root	root	/usr/share/doc/opam-doc/doc/html/OpamProcess.html
-rw-r--r--	6089	root	root	/usr/share/doc/opam-doc/doc/html/OpamRepository.BACKEND.html
-rw-r--r--	10351	root	root	/usr/share/doc/opam-doc/doc/html/OpamRepository.html
-rw-r--r--	4992	root	root	/usr/share/doc/opam-doc/doc/html/OpamRepositoryCommand.html
-rw-r--r--	3708	root	root	/usr/share/doc/opam-doc/doc/html/OpamRepositoryName.html
-rw-r--r--	7545	root	root	/usr/share/doc/opam-doc/doc/html/OpamSolution.html
-rw-r--r--	7991	root	root	/usr/share/doc/opam-doc/doc/html/OpamSolver.html
-rw-r--r--	7746	root	root	/usr/share/doc/opam-doc/doc/html/OpamState.Types.html
-rw-r--r--	28088	root	root	/usr/share/doc/opam-doc/doc/html/OpamState.html
-rw-r--r--	3672	root	root	/usr/share/doc/opam-doc/doc/html/OpamSwitch.html
-rw-r--r--	5428	root	root	/usr/share/doc/opam-doc/doc/html/OpamSwitchCommand.html
-rw-r--r--	14594	root	root	/usr/share/doc/opam-doc/doc/html/OpamSystem.html
-rw-r--r--	4946	root	root	/usr/share/doc/opam-doc/doc/html/OpamTypes.ACTION_GRAPH.Parallel.html
-rw-r--r--	4049	root	root	/usr/share/doc/opam-doc/doc/html/OpamTypes.ACTION_GRAPH.Topological.html
-rw-r--r--	5310	root	root	/usr/share/doc/opam-doc/doc/html/OpamTypes.ACTION_GRAPH.html
-rw-r--r--	5962	root	root	/usr/share/doc/opam-doc/doc/html/OpamTypes.MakeActionGraph.html
-rw-r--r--	3936	root	root	/usr/share/doc/opam-doc/doc/html/OpamTypes.PKG.html
-rw-r--r--	4146	root	root	/usr/share/doc/opam-doc/doc/html/OpamTypes.PackageAction.html
-rw-r--r--	5389	root	root	/usr/share/doc/opam-doc/doc/html/OpamTypes.PackageActionGraph.html
-rw-r--r--	57992	root	root	/usr/share/doc/opam-doc/doc/html/OpamTypes.html
-rw-r--r--	4777	root	root	/usr/share/doc/opam-doc/doc/html/OpamVariable.Full.html
-rw-r--r--	4551	root	root	/usr/share/doc/opam-doc/doc/html/OpamVariable.Section.Full.html
-rw-r--r--	3398	root	root	/usr/share/doc/opam-doc/doc/html/OpamVariable.Section.G.html
-rw-r--r--	4346	root	root	/usr/share/doc/opam-doc/doc/html/OpamVariable.Section.html
-rw-r--r--	5677	root	root	/usr/share/doc/opam-doc/doc/html/OpamVariable.html
-rw-r--r--	4177	root	root	/usr/share/doc/opam-doc/doc/html/OpamVersion.html
-rw-r--r--	7561	root	root	/usr/share/doc/opam-doc/doc/html/index.html
-rw-r--r--	2858	root	root	/usr/share/doc/opam-doc/doc/html/index_attributes.html
-rw-r--r--	2848	root	root	/usr/share/doc/opam-doc/doc/html/index_class_types.html
-rw-r--r--	2840	root	root	/usr/share/doc/opam-doc/doc/html/index_classes.html
-rw-r--r--	4592	root	root	/usr/share/doc/opam-doc/doc/html/index_exceptions.html
-rw-r--r--	2852	root	root	/usr/share/doc/opam-doc/doc/html/index_methods.html
-rw-r--r--	4969	root	root	/usr/share/doc/opam-doc/doc/html/index_module_types.html
-rw-r--r--	19557	root	root	/usr/share/doc/opam-doc/doc/html/index_modules.html
-rw-r--r--	21027	root	root	/usr/share/doc/opam-doc/doc/html/index_types.html
-rw-r--r--	132720	root	root	/usr/share/doc/opam-doc/doc/html/index_values.html
-rw-r--r--	2884	root	root	/usr/share/doc/opam-doc/doc/html/style.css
-rw-r--r--	4843	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamAction.html
-rw-r--r--	4665	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamClient.API.CONFIG.html
-rw-r--r--	3140	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamClient.API.PIN.html
-rw-r--r--	3913	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamClient.API.REPOSITORY.html
-rw-r--r--	4629	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamClient.API.SWITCH.html
-rw-r--r--	12562	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamClient.API.html
-rw-r--r--	12566	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamClient.SafeAPI.html
-rw-r--r--	26277	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamClient.html
-rw-r--r--	21037	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamCompiler.Version.html
-rw-r--r--	41430	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamCompiler.html
-rw-r--r--	4661	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamConfigCommand.html
-rw-r--r--	35702	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamCudf.ActionGraph.html
-rw-r--r--	3910	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamCudf.Diff.html
-rw-r--r--	3502	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamCudf.Graph.html
-rw-r--r--	12557	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamCudf.Map.html
-rw-r--r--	8308	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamCudf.Set.html
-rw-r--r--	64739	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamCudf.html
-rw-r--r--	2915	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamDarcs.html
-rw-r--r--	3980	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Aliases.html
-rw-r--r--	7027	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Comp.html
-rw-r--r--	3879	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Comp_descr.html
-rw-r--r--	5667	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Config.html
-rw-r--r--	4117	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Descr.html
-rw-r--r--	2780	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Dot_config.Library.html
-rw-r--r--	5206	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Dot_config.Section.html
-rw-r--r--	2779	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Dot_config.Syntax.html
-rw-r--r--	8024	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Dot_config.html
-rw-r--r--	5522	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Dot_install.html
-rw-r--r--	3990	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Export.html
-rw-r--r--	3927	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Filenames.html
-rw-r--r--	4443	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.IO_FILE.html
-rw-r--r--	3926	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Installed.html
-rw-r--r--	3932	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Installed_roots.html
-rw-r--r--	10329	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.OPAM.html
-rw-r--r--	3979	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Pinned.html
-rw-r--r--	3932	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Prefix.html
-rw-r--r--	3926	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Reinstall.html
-rw-r--r--	3927	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Repo_config.html
-rw-r--r--	3998	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Repo_index.html
-rw-r--r--	4631	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Subst.html
-rw-r--r--	4508	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.URL.html
-rw-r--r--	3924	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Updated.html
-rw-r--r--	3932	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Urls_txt.html
-rw-r--r--	58328	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.html
-rw-r--r--	20977	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFilename.Attribute.html
-rw-r--r--	2813	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFilename.Base.html
-rw-r--r--	2812	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFilename.Dir.html
-rw-r--r--	3291	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFilename.OP.html
-rw-r--r--	52208	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFilename.html
-rw-r--r--	22815	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFormat.html
-rw-r--r--	15071	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFormula.html
-rw-r--r--	2913	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamGit.html
-rw-r--r--	3394	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamHTTP.html
-rw-r--r--	3570	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamHeuristic.html
-rw-r--r--	2915	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamLocal.html
-rw-r--r--	12522	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.ABSTRACT.Map.html
-rw-r--r--	8273	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.ABSTRACT.Set.html
-rw-r--r--	20439	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.ABSTRACT.html
-rw-r--r--	12523	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.Base.Map.html
-rw-r--r--	8274	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.Base.Set.html
-rw-r--r--	20456	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.Base.html
-rw-r--r--	12518	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.IntMap.html
-rw-r--r--	8269	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.IntSet.html
-rw-r--r--	13145	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.Map.Make.html
-rw-r--r--	12499	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.Map.html
-rw-r--r--	3705	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.OP.html
-rw-r--r--	3141	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.OrderedType.html
-rw-r--r--	8884	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.Set.Make.html
-rw-r--r--	8250	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.Set.html
-rw-r--r--	12524	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.StringMap.html
-rw-r--r--	8275	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.StringSet.html
-rw-r--r--	12565	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.StringSetMap.html
-rw-r--r--	8316	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.StringSetSet.html
-rw-r--r--	139024	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.html
-rw-r--r--	20346	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamPackage.Name.html
-rw-r--r--	20453	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamPackage.Version.html
-rw-r--r--	64708	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamPackage.html
-rw-r--r--	13751	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamParallel.G.html
-rw-r--r--	19167	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamParallel.Make.html
-rw-r--r--	2765	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamParallel.SIG.G.html
-rw-r--r--	4463	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamParallel.SIG.html
-rw-r--r--	35812	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamParallel.html
-rw-r--r--	9203	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamPath.Repository.html
-rw-r--r--	12562	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamPath.Switch.html
-rw-r--r--	25753	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamPath.html
-rw-r--r--	3136	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamPinCommand.html
-rw-r--r--	6298	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamProcess.html
-rw-r--r--	5179	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamRepository.BACKEND.html
-rw-r--r--	11555	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamRepository.html
-rw-r--r--	4258	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamRepositoryCommand.html
-rw-r--r--	20348	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamRepositoryName.html
-rw-r--r--	6503	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamSolution.html
-rw-r--r--	6499	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamSolver.html
-rw-r--r--	5252	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamState.Types.html
-rw-r--r--	24912	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamState.html
-rw-r--r--	20340	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamSwitch.html
-rw-r--r--	4625	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamSwitchCommand.html
-rw-r--r--	9980	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamSystem.html
-rw-r--r--	17907	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamTypes.ACTION_GRAPH.Parallel.html
-rw-r--r--	3885	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamTypes.ACTION_GRAPH.Topological.html
-rw-r--r--	36347	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamTypes.ACTION_GRAPH.html
-rw-r--r--	37530	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamTypes.MakeActionGraph.html
-rw-r--r--	3856	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamTypes.PKG.html
-rw-r--r--	3777	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamTypes.PackageAction.html
-rw-r--r--	35500	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamTypes.PackageActionGraph.html
-rw-r--r--	148650	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamTypes.html
-rw-r--r--	21711	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamVariable.Full.html
-rw-r--r--	21280	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamVariable.Section.Full.html
-rw-r--r--	16056	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamVariable.Section.G.html
-rw-r--r--	56470	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamVariable.Section.html
-rw-r--r--	101498	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamVariable.html
-rw-r--r--	20738	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamVersion.html
-rw-r--r--	293	root	root	/usr/share/doc/opam-doc/doc/man-ext/opam-check.md
-rw-r--r--	279	root	root	/usr/share/doc/opam-doc/doc/man-ext/opam-mk-repo.md
-rw-r--r--	277	root	root	/usr/share/doc/opam-doc/doc/man/opam-check.1
-rw-r--r--	6509	root	root	/usr/share/doc/opam-doc/doc/man/opam-config.1
-rw-r--r--	739	root	root	/usr/share/doc/opam-doc/doc/man/opam-help.1
-rw-r--r--	2701	root	root	/usr/share/doc/opam-doc/doc/man/opam-info.1
-rw-r--r--	5260	root	root	/usr/share/doc/opam-doc/doc/man/opam-init.1
-rw-r--r--	4168	root	root	/usr/share/doc/opam-doc/doc/man/opam-install.1
-rw-r--r--	2910	root	root	/usr/share/doc/opam-doc/doc/man/opam-list.1
-rw-r--r--	262	root	root	/usr/share/doc/opam-doc/doc/man/opam-mk-repo.1
-rw-r--r--	2905	root	root	/usr/share/doc/opam-doc/doc/man/opam-pin.1
-rw-r--r--	3566	root	root	/usr/share/doc/opam-doc/doc/man/opam-reinstall.1
-rw-r--r--	3436	root	root	/usr/share/doc/opam-doc/doc/man/opam-remote.1
-rw-r--r--	4076	root	root	/usr/share/doc/opam-doc/doc/man/opam-remove.1
-rw-r--r--	3448	root	root	/usr/share/doc/opam-doc/doc/man/opam-repository.1
-rw-r--r--	2935	root	root	/usr/share/doc/opam-doc/doc/man/opam-search.1
-rw-r--r--	6032	root	root	/usr/share/doc/opam-doc/doc/man/opam-switch.1
-rw-r--r--	2385	root	root	/usr/share/doc/opam-doc/doc/man/opam-update.1
-rw-r--r--	3719	root	root	/usr/share/doc/opam-doc/doc/man/opam-upgrade.1
-rw-r--r--	2606	root	root	/usr/share/doc/opam-doc/doc/man/opam-upload.1
-rw-r--r--	3482	root	root	/usr/share/doc/opam-doc/doc/man/opam.1
-rw-r--r--	121946	root	root	/usr/share/doc/opam-doc/doc/tutorials/Advanced_Install.pdf
-rw-r--r--	181227	root	root	/usr/share/doc/opam-doc/doc/tutorials/Advanced_Usage.pdf
-rw-r--r--	82025	root	root	/usr/share/doc/opam-doc/doc/tutorials/Basic_Usage.pdf
-rw-r--r--	166662	root	root	/usr/share/doc/opam-doc/doc/tutorials/Developing.pdf
-rw-r--r--	275	root	root	/usr/share/doc/opam-doc/doc/tutorials/Makefile
-rw-r--r--	193559	root	root	/usr/share/doc/opam-doc/doc/tutorials/Packaging.pdf
-rwxr-xr-x	1862	root	root	/usr/share/doc/opam-doc/jenkins/10-opam-prepare.sh
-rwxr-xr-x	418	root	root	/usr/share/doc/opam-doc/jenkins/10-opam-source-install.sh
-rwxr-xr-x	262	root	root	/usr/share/doc/opam-doc/jenkins/11-ocaml-install.sh
-rwxr-xr-x	199	root	root	/usr/share/doc/opam-doc/jenkins/20-opam-init.sh
-rwxr-xr-x	428	root	root	/usr/share/doc/opam-doc/jenkins/30-opam-packages.sh
-rwxr-xr-x	427	root	root	/usr/share/doc/opam-doc/jenkins/31-opam-mirage-packages.sh
-rw-r--r--	394	root	root	/usr/share/doc/opam-doc/shell/crunch.ml
-rw-r--r--	97	root	root	/usr/share/doc/opam-doc/shell/dot_ocamlinit
-rwxr-xr-x	235	root	root	/usr/share/doc/opam-doc/shell/get-git-id.sh
-rwxr-xr-x	172	root	root	/usr/share/doc/opam-doc/shell/install.sh
-rw-r--r--	2279	root	root	/usr/share/doc/opam-doc/shell/opam_completion.sh
-rw-r--r--	1973	root	root	/usr/share/doc/opam-doc/shell/opam_completion_zsh.sh
-rwxr-xr-x	2624	root	root	/usr/share/doc/opam-doc/shell/opam_install.sh
-rw-r--r--	95	root	root	/usr/share/doc/opam-doc/shell/opam_switch_eval.sh
-rw-r--r--	8051	root	root	/usr/share/doc/opam-doc/tests/Makefile
-rw-r--r--	656	root	root	/usr/share/doc/opam-doc/tests/README.unittest
drwxr-xr-x	4096	root	root	/usr/share/doc/opam-doc/tests/compilers
-rwxr-xr-x	2447	root	root	/usr/share/doc/opam-doc/tests/init-repo.sh
drwxr-xr-x	4096	root	root	/usr/share/doc/opam-doc/tests/packages
drwxr-xr-x	4096	root	root	/usr/share/doc/opam-doc/tests/results
-rwxr-xr-x	131	root	root	/usr/share/doc/opam-doc/tests/test-TEST.sh
-rwxr-xr-x	4334	root	root	/usr/share/doc/opam-doc/tests/tests.py
-rw-r--r--	90	root	root	/usr/share/doc/opam-doc/tests/compilers/10.comp
-rw-r--r--	76	root	root	/usr/share/doc/opam-doc/tests/compilers/20.comp
drwxr-xr-x	4096	root	root	/usr/share/doc/opam-doc/tests/packages/P1-1
-rw-r--r--	652	root	root	/usr/share/doc/opam-doc/tests/packages/P1-1.opam
drwxr-xr-x	4096	root	root	/usr/share/doc/opam-doc/tests/packages/P1-2
-rw-r--r--	176	root	root	/usr/share/doc/opam-doc/tests/packages/P1-2.opam
drwxr-xr-x	4096	root	root	/usr/share/doc/opam-doc/tests/packages/P2
-rw-r--r--	183	root	root	/usr/share/doc/opam-doc/tests/packages/P2.opam
drwxr-xr-x	4096	root	root	/usr/share/doc/opam-doc/tests/packages/P3
-rw-r--r--	190	root	root	/usr/share/doc/opam-doc/tests/packages/P3.opam
drwxr-xr-x	4096	root	root	/usr/share/doc/opam-doc/tests/packages/P4
-rw-r--r--	130	root	root	/usr/share/doc/opam-doc/tests/packages/P4-1.opam
-rw-r--r--	154	root	root	/usr/share/doc/opam-doc/tests/packages/P4-2.opam
-rw-r--r--	130	root	root	/usr/share/doc/opam-doc/tests/packages/P4-3.opam
drwxr-xr-x	4096	root	root	/usr/share/doc/opam-doc/tests/packages/P5
-rw-r--r--	155	root	root	/usr/share/doc/opam-doc/tests/packages/P5.opam
-rw-r--r--	245	root	root	/usr/share/doc/opam-doc/tests/packages/P1-1/P1.config.in
-rw-r--r--	152	root	root	/usr/share/doc/opam-doc/tests/packages/P1-1/P1.install
-rw-r--r--	22	root	root	/usr/share/doc/opam-doc/tests/packages/P1-1/README
-rwxr-xr-x	42	root	root	/usr/share/doc/opam-doc/tests/packages/P1-1/build.sh
-rw-r--r--	45	root	root	/usr/share/doc/opam-doc/tests/packages/P1-1/p1.ml
-rw-r--r--	245	root	root	/usr/share/doc/opam-doc/tests/packages/P1-2/P1.config.in
-rw-r--r--	80	root	root	/usr/share/doc/opam-doc/tests/packages/P1-2/P1.install
-rw-r--r--	22	root	root	/usr/share/doc/opam-doc/tests/packages/P1-2/README
-rwxr-xr-x	42	root	root	/usr/share/doc/opam-doc/tests/packages/P1-2/build.sh
-rw-r--r--	57	root	root	/usr/share/doc/opam-doc/tests/packages/P1-2/p1.ml
-rw-r--r--	183	root	root	/usr/share/doc/opam-doc/tests/packages/P2/P2.config.in
-rw-r--r--	52	root	root	/usr/share/doc/opam-doc/tests/packages/P2/P2.install
-rw-r--r--	153	root	root	/usr/share/doc/opam-doc/tests/packages/P2/README
-rwxr-xr-x	182	root	root	/usr/share/doc/opam-doc/tests/packages/P2/build.sh
-rw-r--r--	86	root	root	/usr/share/doc/opam-doc/tests/packages/P2/config.in
-rw-r--r--	21	root	root	/usr/share/doc/opam-doc/tests/packages/P2/p2.ml
-rw-r--r--	379	root	root	/usr/share/doc/opam-doc/tests/packages/P3/P3.config.in
-rw-r--r--	194	root	root	/usr/share/doc/opam-doc/tests/packages/P3/P3.install
-rw-r--r--	22	root	root	/usr/share/doc/opam-doc/tests/packages/P3/README
-rwxr-xr-x	184	root	root	/usr/share/doc/opam-doc/tests/packages/P3/build.sh
-rw-r--r--	377	root	root	/usr/share/doc/opam-doc/tests/packages/P3/myocamlbuild.ml
-rw-r--r--	39	root	root	/usr/share/doc/opam-doc/tests/packages/P3/p3.ml
-rw-r--r--	56	root	root	/usr/share/doc/opam-doc/tests/packages/P3/p3_bar.ml
-rw-r--r--	57	root	root	/usr/share/doc/opam-doc/tests/packages/P4/P4.install
-rw-r--r--	27	root	root	/usr/share/doc/opam-doc/tests/packages/P4/README
-rw-r--r--	56	root	root	/usr/share/doc/opam-doc/tests/packages/P4/_tags
-rwxr-xr-x	289	root	root	/usr/share/doc/opam-doc/tests/packages/P4/build.sh
-rw-r--r--	164	root	root	/usr/share/doc/opam-doc/tests/packages/P4/p4.ml
-rw-r--r--	30	root	root	/usr/share/doc/opam-doc/tests/packages/P5/README
-rwxr-xr-x	182	root	root	/usr/share/doc/opam-doc/tests/packages/P5/build.sh
-rw-r--r--	21	root	root	/usr/share/doc/opam-doc/tests/packages/P5/p5.ml
-rw-r--r--	618	root	root	/usr/share/doc/opam-doc/tests/results/README.tests
-rw-r--r--	201	root	root	/usr/share/doc/opam-doc/tests/results/install-P1
-rw-r--r--	291	root	root	/usr/share/doc/opam-doc/tests/results/install-P1-P2-P3-P4
-rw-r--r--	201	root	root	/usr/share/doc/opam-doc/tests/results/install-opt
-rw-r--r--	201	root	root	/usr/share/doc/opam-doc/tests/results/install-remove-P1
-rw-r--r--	291	root	root	/usr/share/doc/opam-doc/tests/results/install-upgrade-P2
-rw-r--r--	201	root	root	/usr/share/doc/opam-doc/tests/results/reinstall-P2