Sophie

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

distrib > Mageia > 5 > x86_64 > media > core-release > by-pkgid > 5f767164d58668090bf0c7f0295ca768 > files

opam-doc-1.1.0-1.mga4.x86_64.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--	1035	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	20480	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/release
drwxr-xr-x	4096	root	root	/usr/share/doc/opam-doc/doc/tutorials
-rw-r--r--	188	root	root	/usr/share/doc/opam-doc/doc/dev-manual/Makefile
-rw-r--r--	1420	root	root	/usr/share/doc/opam-doc/doc/dev-manual/dev-manual.css
-rw-r--r--	3557	root	root	/usr/share/doc/opam-doc/doc/dev-manual/dev-manual.haux
-rw-r--r--	82242	root	root	/usr/share/doc/opam-doc/doc/dev-manual/dev-manual.html
-rw-r--r--	218254	root	root	/usr/share/doc/opam-doc/doc/dev-manual/dev-manual.pdf
-rw-r--r--	49028	root	root	/usr/share/doc/opam-doc/doc/dev-manual/dev-manual.tex
-rw-r--r--	31	root	root	/usr/share/doc/opam-doc/doc/dev-manual/htmlmacros.hva
-rw-r--r--	4636	root	root	/usr/share/doc/opam-doc/doc/dev-manual/pdfswitch.sty
-rw-r--r--	5525	root	root	/usr/share/doc/opam-doc/doc/html/OpamAction.html
-rw-r--r--	14661	root	root	/usr/share/doc/opam-doc/doc/html/OpamArg.html
-rw-r--r--	6162	root	root	/usr/share/doc/opam-doc/doc/html/OpamClient.API.CONFIG.html
-rw-r--r--	4286	root	root	/usr/share/doc/opam-doc/doc/html/OpamClient.API.PIN.html
-rw-r--r--	5154	root	root	/usr/share/doc/opam-doc/doc/html/OpamClient.API.REPOSITORY.html
-rw-r--r--	6168	root	root	/usr/share/doc/opam-doc/doc/html/OpamClient.API.SWITCH.html
-rw-r--r--	7479	root	root	/usr/share/doc/opam-doc/doc/html/OpamClient.API.html
-rw-r--r--	3820	root	root	/usr/share/doc/opam-doc/doc/html/OpamClient.SafeAPI.html
-rw-r--r--	5478	root	root	/usr/share/doc/opam-doc/doc/html/OpamClient.html
-rw-r--r--	4807	root	root	/usr/share/doc/opam-doc/doc/html/OpamCompiler.Version.html
-rw-r--r--	5587	root	root	/usr/share/doc/opam-doc/doc/html/OpamCompiler.html
-rw-r--r--	6233	root	root	/usr/share/doc/opam-doc/doc/html/OpamConfigCommand.html
-rw-r--r--	3843	root	root	/usr/share/doc/opam-doc/doc/html/OpamCudf.ActionGraph.html
-rw-r--r--	5445	root	root	/usr/share/doc/opam-doc/doc/html/OpamCudf.Diff.html
-rw-r--r--	4990	root	root	/usr/share/doc/opam-doc/doc/html/OpamCudf.Graph.html
-rw-r--r--	5613	root	root	/usr/share/doc/opam-doc/doc/html/OpamCudf.Map.html
-rw-r--r--	5027	root	root	/usr/share/doc/opam-doc/doc/html/OpamCudf.Set.html
-rw-r--r--	11990	root	root	/usr/share/doc/opam-doc/doc/html/OpamCudf.html
-rw-r--r--	4016	root	root	/usr/share/doc/opam-doc/doc/html/OpamDarcs.html
-rw-r--r--	5789	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Aliases.html
-rw-r--r--	9287	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Comp.html
-rw-r--r--	5701	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Comp_descr.html
-rw-r--r--	5879	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Compiler_index.html
-rw-r--r--	5890	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Config.html
-rw-r--r--	4806	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Descr.html
-rw-r--r--	6676	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Dot_config.Library.html
-rw-r--r--	6271	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Dot_config.SECTION.html
-rw-r--r--	6490	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Dot_config.Section.html
-rw-r--r--	6515	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Dot_config.Syntax.html
-rw-r--r--	6084	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Dot_config.html
-rw-r--r--	7697	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Dot_install.html
-rw-r--r--	5874	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Export.html
-rw-r--r--	5809	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.File_attributes.html
-rw-r--r--	5780	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Filenames.html
-rw-r--r--	5510	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.IO_FILE.html
-rw-r--r--	5841	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Installed.html
-rw-r--r--	5886	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Installed_roots.html
-rw-r--r--	14377	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.OPAM.html
-rw-r--r--	5873	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Package_index.html
-rw-r--r--	5760	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Pinned.html
-rw-r--r--	5642	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Prefix.html
-rw-r--r--	5838	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Reinstall.html
-rw-r--r--	5224	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Repo.html
-rw-r--r--	5834	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Repo_config.html
-rw-r--r--	5592	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Repo_index.html
-rw-r--r--	4760	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.Subst.html
-rw-r--r--	5217	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.URL.html
-rw-r--r--	10798	root	root	/usr/share/doc/opam-doc/doc/html/OpamFile.html
-rw-r--r--	4684	root	root	/usr/share/doc/opam-doc/doc/html/OpamFilename.Attribute.html
-rw-r--r--	5156	root	root	/usr/share/doc/opam-doc/doc/html/OpamFilename.Base.html
-rw-r--r--	5291	root	root	/usr/share/doc/opam-doc/doc/html/OpamFilename.Dir.html
-rw-r--r--	4281	root	root	/usr/share/doc/opam-doc/doc/html/OpamFilename.OP.html
-rw-r--r--	18842	root	root	/usr/share/doc/opam-doc/doc/html/OpamFilename.html
-rw-r--r--	6990	root	root	/usr/share/doc/opam-doc/doc/html/OpamFilter.html
-rw-r--r--	26198	root	root	/usr/share/doc/opam-doc/doc/html/OpamFormat.html
-rw-r--r--	15496	root	root	/usr/share/doc/opam-doc/doc/html/OpamFormula.html
-rw-r--r--	4001	root	root	/usr/share/doc/opam-doc/doc/html/OpamGit.html
-rw-r--r--	4501	root	root	/usr/share/doc/opam-doc/doc/html/OpamHTTP.html
-rw-r--r--	12610	root	root	/usr/share/doc/opam-doc/doc/html/OpamHeuristic.html
-rw-r--r--	3996	root	root	/usr/share/doc/opam-doc/doc/html/OpamHg.html
-rw-r--r--	5873	root	root	/usr/share/doc/opam-doc/doc/html/OpamJson.Manual.html
-rw-r--r--	9021	root	root	/usr/share/doc/opam-doc/doc/html/OpamJson.Uncut.html
-rw-r--r--	30020	root	root	/usr/share/doc/opam-doc/doc/html/OpamJson.html
-rw-r--r--	4001	root	root	/usr/share/doc/opam-doc/doc/html/OpamLocal.html
-rw-r--r--	5512	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.ABSTRACT.Map.html
-rw-r--r--	5046	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.ABSTRACT.Set.html
-rw-r--r--	5326	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.ABSTRACT.html
-rw-r--r--	5474	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.Base.Map.html
-rw-r--r--	5022	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.Base.Set.html
-rw-r--r--	5035	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.Base.html
-rw-r--r--	5615	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.IntMap.html
-rw-r--r--	5171	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.IntSet.html
-rw-r--r--	5624	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.MAP.html
-rw-r--r--	5964	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.Map.Make.html
-rw-r--r--	4367	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.Map.html
-rw-r--r--	4493	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.OP.html
-rw-r--r--	4225	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.OrderedType.html
-rw-r--r--	5027	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.SET.html
-rw-r--r--	5505	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.Set.Make.html
-rw-r--r--	4243	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.Set.html
-rw-r--r--	5648	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.StringMap.html
-rw-r--r--	5207	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.StringSet.html
-rw-r--r--	5666	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.StringSetMap.html
-rw-r--r--	5228	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.StringSetSet.html
-rw-r--r--	13895	root	root	/usr/share/doc/opam-doc/doc/html/OpamMisc.html
-rw-r--r--	4264	root	root	/usr/share/doc/opam-doc/doc/html/OpamPackage.Name.html
-rw-r--r--	6396	root	root	/usr/share/doc/opam-doc/doc/html/OpamPackage.Parallel.html
-rw-r--r--	4317	root	root	/usr/share/doc/opam-doc/doc/html/OpamPackage.Version.html
-rw-r--r--	10322	root	root	/usr/share/doc/opam-doc/doc/html/OpamPackage.html
-rw-r--r--	4362	root	root	/usr/share/doc/opam-doc/doc/html/OpamParallel.G.html
-rw-r--r--	6799	root	root	/usr/share/doc/opam-doc/doc/html/OpamParallel.Make.html
-rw-r--r--	4195	root	root	/usr/share/doc/opam-doc/doc/html/OpamParallel.SIG.G.html
-rw-r--r--	6358	root	root	/usr/share/doc/opam-doc/doc/html/OpamParallel.SIG.html
-rw-r--r--	5944	root	root	/usr/share/doc/opam-doc/doc/html/OpamParallel.html
-rw-r--r--	11770	root	root	/usr/share/doc/opam-doc/doc/html/OpamPath.Repository.html
-rw-r--r--	6182	root	root	/usr/share/doc/opam-doc/doc/html/OpamPath.Switch.Overlay.html
-rw-r--r--	16653	root	root	/usr/share/doc/opam-doc/doc/html/OpamPath.Switch.html
-rw-r--r--	12786	root	root	/usr/share/doc/opam-doc/doc/html/OpamPath.html
-rw-r--r--	4370	root	root	/usr/share/doc/opam-doc/doc/html/OpamPinCommand.html
-rw-r--r--	14932	root	root	/usr/share/doc/opam-doc/doc/html/OpamProcess.html
-rw-r--r--	5748	root	root	/usr/share/doc/opam-doc/doc/html/OpamRepository.BACKEND.html
-rw-r--r--	6289	root	root	/usr/share/doc/opam-doc/doc/html/OpamRepository.Parallel.html
-rw-r--r--	15273	root	root	/usr/share/doc/opam-doc/doc/html/OpamRepository.html
-rw-r--r--	7417	root	root	/usr/share/doc/opam-doc/doc/html/OpamRepositoryCommand.html
-rw-r--r--	4217	root	root	/usr/share/doc/opam-doc/doc/html/OpamRepositoryName.html
-rw-r--r--	8519	root	root	/usr/share/doc/opam-doc/doc/html/OpamSolution.html
-rw-r--r--	8763	root	root	/usr/share/doc/opam-doc/doc/html/OpamSolver.html
-rw-r--r--	8401	root	root	/usr/share/doc/opam-doc/doc/html/OpamState.Types.html
-rw-r--r--	37193	root	root	/usr/share/doc/opam-doc/doc/html/OpamState.html
-rw-r--r--	4402	root	root	/usr/share/doc/opam-doc/doc/html/OpamSwitch.html
-rw-r--r--	5999	root	root	/usr/share/doc/opam-doc/doc/html/OpamSwitchCommand.html
-rw-r--r--	16251	root	root	/usr/share/doc/opam-doc/doc/html/OpamSystem.html
-rw-r--r--	6534	root	root	/usr/share/doc/opam-doc/doc/html/OpamTypes.ACTION_GRAPH.Parallel.html
-rw-r--r--	4557	root	root	/usr/share/doc/opam-doc/doc/html/OpamTypes.ACTION_GRAPH.Topological.html
-rw-r--r--	6073	root	root	/usr/share/doc/opam-doc/doc/html/OpamTypes.ACTION_GRAPH.html
-rw-r--r--	6724	root	root	/usr/share/doc/opam-doc/doc/html/OpamTypes.MakeActionGraph.html
-rw-r--r--	4448	root	root	/usr/share/doc/opam-doc/doc/html/OpamTypes.PKG.html
-rw-r--r--	4657	root	root	/usr/share/doc/opam-doc/doc/html/OpamTypes.PackageAction.html
-rw-r--r--	6151	root	root	/usr/share/doc/opam-doc/doc/html/OpamTypes.PackageActionGraph.html
-rw-r--r--	66364	root	root	/usr/share/doc/opam-doc/doc/html/OpamTypes.html
-rw-r--r--	6323	root	root	/usr/share/doc/opam-doc/doc/html/OpamVCS.Make.html
-rw-r--r--	5300	root	root	/usr/share/doc/opam-doc/doc/html/OpamVCS.VCS.html
-rw-r--r--	4681	root	root	/usr/share/doc/opam-doc/doc/html/OpamVCS.html
-rw-r--r--	5294	root	root	/usr/share/doc/opam-doc/doc/html/OpamVariable.Full.html
-rw-r--r--	5066	root	root	/usr/share/doc/opam-doc/doc/html/OpamVariable.Section.Full.html
-rw-r--r--	3904	root	root	/usr/share/doc/opam-doc/doc/html/OpamVariable.Section.G.html
-rw-r--r--	4859	root	root	/usr/share/doc/opam-doc/doc/html/OpamVariable.Section.html
-rw-r--r--	6196	root	root	/usr/share/doc/opam-doc/doc/html/OpamVariable.html
-rw-r--r--	5017	root	root	/usr/share/doc/opam-doc/doc/html/OpamVersion.html
-rw-r--r--	4287	root	root	/usr/share/doc/opam-doc/doc/html/Opam_mk_repo.html
-rw-r--r--	4308	root	root	/usr/share/doc/opam-doc/doc/html/Opam_repo_check.html
-rw-r--r--	3968	root	root	/usr/share/doc/opam-doc/doc/html/Opam_stats.html
-rw-r--r--	8986	root	root	/usr/share/doc/opam-doc/doc/html/index.html
-rw-r--r--	3352	root	root	/usr/share/doc/opam-doc/doc/html/index_attributes.html
-rw-r--r--	3342	root	root	/usr/share/doc/opam-doc/doc/html/index_class_types.html
-rw-r--r--	3334	root	root	/usr/share/doc/opam-doc/doc/html/index_classes.html
-rw-r--r--	5086	root	root	/usr/share/doc/opam-doc/doc/html/index_exceptions.html
-rw-r--r--	3346	root	root	/usr/share/doc/opam-doc/doc/html/index_methods.html
-rw-r--r--	5672	root	root	/usr/share/doc/opam-doc/doc/html/index_module_types.html
-rw-r--r--	21807	root	root	/usr/share/doc/opam-doc/doc/html/index_modules.html
-rw-r--r--	24874	root	root	/usr/share/doc/opam-doc/doc/html/index_types.html
-rw-r--r--	182785	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--	5337	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamAction.html
-rw-r--r--	11473	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamArg.html
-rw-r--r--	5277	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamClient.API.CONFIG.html
-rw-r--r--	3634	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamClient.API.PIN.html
-rw-r--r--	4407	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamClient.API.REPOSITORY.html
-rw-r--r--	5267	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamClient.API.SWITCH.html
-rw-r--r--	13732	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamClient.API.html
-rw-r--r--	13736	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamClient.SafeAPI.html
-rw-r--r--	28659	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamClient.html
-rw-r--r--	22307	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamCompiler.Version.html
-rw-r--r--	43896	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamCompiler.html
-rw-r--r--	5273	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamConfigCommand.html
-rw-r--r--	41862	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamCudf.ActionGraph.html
-rw-r--r--	4404	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamCudf.Diff.html
-rw-r--r--	4331	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamCudf.Graph.html
-rw-r--r--	13441	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamCudf.Map.html
-rw-r--r--	8971	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamCudf.Set.html
-rw-r--r--	74059	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamCudf.html
-rw-r--r--	3409	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamDarcs.html
-rw-r--r--	4474	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Aliases.html
-rw-r--r--	8151	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Comp.html
-rw-r--r--	4310	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Comp_descr.html
-rw-r--r--	4523	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Compiler_index.html
-rw-r--r--	6010	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Config.html
-rw-r--r--	4874	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Descr.html
-rw-r--r--	3274	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Dot_config.Library.html
-rw-r--r--	5735	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Dot_config.SECTION.html
-rw-r--r--	3274	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Dot_config.Section.html
-rw-r--r--	3273	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Dot_config.Syntax.html
-rw-r--r--	8565	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Dot_config.html
-rw-r--r--	7974	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Dot_install.html
-rw-r--r--	4484	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Export.html
-rw-r--r--	4433	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.File_attributes.html
-rw-r--r--	4421	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Filenames.html
-rw-r--r--	4937	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.IO_FILE.html
-rw-r--r--	4420	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Installed.html
-rw-r--r--	4426	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Installed_roots.html
-rw-r--r--	12907	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.OPAM.html
-rw-r--r--	4521	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Package_index.html
-rw-r--r--	4473	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Pinned.html
-rw-r--r--	4426	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Prefix.html
-rw-r--r--	4420	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Reinstall.html
-rw-r--r--	5605	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Repo.html
-rw-r--r--	4421	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Repo_config.html
-rw-r--r--	4226	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Repo_index.html
-rw-r--r--	5125	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.Subst.html
-rw-r--r--	5341	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.URL.html
-rw-r--r--	66962	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFile.html
-rw-r--r--	22247	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFilename.Attribute.html
-rw-r--r--	3307	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFilename.Base.html
-rw-r--r--	3306	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFilename.Dir.html
-rw-r--r--	3785	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFilename.OP.html
-rw-r--r--	57136	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFilename.html
-rw-r--r--	5903	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFilter.html
-rw-r--r--	25144	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFormat.html
-rw-r--r--	15565	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamFormula.html
-rw-r--r--	3407	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamGit.html
-rw-r--r--	3948	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamHTTP.html
-rw-r--r--	8294	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamHeuristic.html
-rw-r--r--	3406	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamHg.html
-rw-r--r--	4140	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamJson.Manual.html
-rw-r--r--	7974	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamJson.Uncut.html
-rw-r--r--	24296	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamJson.html
-rw-r--r--	3409	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamLocal.html
-rw-r--r--	13406	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.ABSTRACT.Map.html
-rw-r--r--	8936	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.ABSTRACT.Set.html
-rw-r--r--	21793	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.ABSTRACT.html
-rw-r--r--	13407	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.Base.Map.html
-rw-r--r--	8937	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.Base.Set.html
-rw-r--r--	21806	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.Base.html
-rw-r--r--	13402	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.IntMap.html
-rw-r--r--	8932	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.IntSet.html
-rw-r--r--	13383	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.MAP.html
-rw-r--r--	14041	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.Map.Make.html
-rw-r--r--	15135	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.Map.html
-rw-r--r--	4575	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.OP.html
-rw-r--r--	3836	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.OrderedType.html
-rw-r--r--	8913	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.SET.html
-rw-r--r--	9559	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.Set.Make.html
-rw-r--r--	10570	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.Set.html
-rw-r--r--	13408	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.StringMap.html
-rw-r--r--	8938	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.StringSet.html
-rw-r--r--	13449	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.StringSetMap.html
-rw-r--r--	8979	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.StringSetSet.html
-rw-r--r--	146126	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamMisc.html
-rw-r--r--	21622	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamPackage.Name.html
-rw-r--r--	23312	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamPackage.Parallel.html
-rw-r--r--	21798	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamPackage.Version.html
-rw-r--r--	91284	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamPackage.html
-rw-r--r--	16108	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamParallel.G.html
-rw-r--r--	24908	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamParallel.Make.html
-rw-r--r--	3259	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamParallel.SIG.G.html
-rw-r--r--	8032	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamParallel.SIG.html
-rw-r--r--	47841	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamParallel.html
-rw-r--r--	10128	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamPath.Repository.html
-rw-r--r--	5804	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamPath.Switch.Overlay.html
-rw-r--r--	17996	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamPath.Switch.html
-rw-r--r--	34904	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamPath.html
-rw-r--r--	3630	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamPinCommand.html
-rw-r--r--	7311	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamProcess.html
-rw-r--r--	4809	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamRepository.BACKEND.html
-rw-r--r--	23367	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamRepository.Parallel.html
-rw-r--r--	55786	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamRepository.html
-rw-r--r--	6758	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamRepositoryCommand.html
-rw-r--r--	21618	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamRepositoryName.html
-rw-r--r--	7479	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamSolution.html
-rw-r--r--	7449	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamSolver.html
-rw-r--r--	5744	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamState.Types.html
-rw-r--r--	36180	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamState.html
-rw-r--r--	21777	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamSwitch.html
-rw-r--r--	5263	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamSwitchCommand.html
-rw-r--r--	11391	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamSystem.html
-rw-r--r--	23372	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamTypes.ACTION_GRAPH.Parallel.html
-rw-r--r--	4379	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamTypes.ACTION_GRAPH.Topological.html
-rw-r--r--	42596	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamTypes.ACTION_GRAPH.html
-rw-r--r--	43978	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamTypes.MakeActionGraph.html
-rw-r--r--	4350	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamTypes.PKG.html
-rw-r--r--	4271	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamTypes.PackageAction.html
-rw-r--r--	41660	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamTypes.PackageActionGraph.html
-rw-r--r--	173857	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamTypes.html
-rw-r--r--	3486	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamVCS.Make.html
-rw-r--r--	4371	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamVCS.VCS.html
-rw-r--r--	5148	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamVCS.html
-rw-r--r--	22981	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamVariable.Full.html
-rw-r--r--	22550	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamVariable.Section.Full.html
-rw-r--r--	16550	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamVariable.Section.G.html
-rw-r--r--	58588	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamVariable.Section.html
-rw-r--r--	105384	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamVariable.html
-rw-r--r--	22160	root	root	/usr/share/doc/opam-doc/doc/html/type_OpamVersion.html
-rw-r--r--	3736	root	root	/usr/share/doc/opam-doc/doc/html/type_Opam_mk_repo.html
-rw-r--r--	3745	root	root	/usr/share/doc/opam-doc/doc/html/type_Opam_repo_check.html
-rw-r--r--	3409	root	root	/usr/share/doc/opam-doc/doc/html/type_Opam_stats.html
-rw-r--r--	295	root	root	/usr/share/doc/opam-doc/doc/man-ext/opam-check.md
-rw-r--r--	307	root	root	/usr/share/doc/opam-doc/doc/man-ext/opam-check.md.in
-rw-r--r--	2075	root	root	/usr/share/doc/opam-doc/doc/man/opam-admin-check.1
-rw-r--r--	955	root	root	/usr/share/doc/opam-doc/doc/man/opam-admin-make.1
-rw-r--r--	660	root	root	/usr/share/doc/opam-doc/doc/man/opam-admin.1
-rw-r--r--	352	root	root	/usr/share/doc/opam-doc/doc/man/opam-check.1
-rw-r--r--	7322	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--	3383	root	root	/usr/share/doc/opam-doc/doc/man/opam-info.1
-rw-r--r--	6274	root	root	/usr/share/doc/opam-doc/doc/man/opam-init.1
-rw-r--r--	5396	root	root	/usr/share/doc/opam-doc/doc/man/opam-install.1
-rw-r--r--	3824	root	root	/usr/share/doc/opam-doc/doc/man/opam-list.1
-rw-r--r--	3898	root	root	/usr/share/doc/opam-doc/doc/man/opam-pin.1
-rw-r--r--	4503	root	root	/usr/share/doc/opam-doc/doc/man/opam-reinstall.1
-rw-r--r--	4124	root	root	/usr/share/doc/opam-doc/doc/man/opam-remote.1
-rw-r--r--	5160	root	root	/usr/share/doc/opam-doc/doc/man/opam-remove.1
-rw-r--r--	4136	root	root	/usr/share/doc/opam-doc/doc/man/opam-repository.1
-rw-r--r--	3617	root	root	/usr/share/doc/opam-doc/doc/man/opam-search.1
-rw-r--r--	7225	root	root	/usr/share/doc/opam-doc/doc/man/opam-switch.1
-rw-r--r--	3782	root	root	/usr/share/doc/opam-doc/doc/man/opam-update.1
-rw-r--r--	4659	root	root	/usr/share/doc/opam-doc/doc/man/opam-upgrade.1
-rw-r--r--	4116	root	root	/usr/share/doc/opam-doc/doc/man/opam.1
-rw-r--r--	954	root	root	/usr/share/doc/opam-doc/doc/release/readme.md
-rw-r--r--	121950	root	root	/usr/share/doc/opam-doc/doc/tutorials/Advanced_Install.pdf
-rw-r--r--	181917	root	root	/usr/share/doc/opam-doc/doc/tutorials/Advanced_Usage.pdf
-rw-r--r--	82032	root	root	/usr/share/doc/opam-doc/doc/tutorials/Basic_Usage.pdf
-rw-r--r--	166660	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--	196430	root	root	/usr/share/doc/opam-doc/doc/tutorials/Packaging.pdf
-rwxr-xr-x	1991	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
-rwxr-xr-x	243	root	root	/usr/share/doc/opam-doc/shell/bootstrap-ocaml.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
-rw-r--r--	1116	root	root	/usr/share/doc/opam-doc/shell/get-git-id.ml
-rwxr-xr-x	1594	root	root	/usr/share/doc/opam-doc/shell/make_opam_binary.sh
-rw-r--r--	474	root	root	/usr/share/doc/opam-doc/shell/md5check.ml
-rw-r--r--	2283	root	root	/usr/share/doc/opam-doc/shell/opam_completion.sh
-rw-r--r--	1974	root	root	/usr/share/doc/opam-doc/shell/opam_completion_zsh.sh
-rw-r--r--	2701	root	root	/usr/share/doc/opam-doc/shell/opam_installer.sh
-rw-r--r--	95	root	root	/usr/share/doc/opam-doc/shell/opam_switch_eval.sh
-rw-r--r--	8673	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--	93	root	root	/usr/share/doc/opam-doc/tests/compilers/10+a+b.comp
-rw-r--r--	75	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--	1051	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--	353	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--	204	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--	389	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