ocaml-dose3-devel-7.0.0-5.fc36 in Fedora Rawhide

↵ Return to the main page of ocaml-dose3-devel
View build
Search for updates

Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date	Author	Change
2021-12-31	Jerry James <loganjerry at gmail dot com> 7.0.0-5	- Rebuild for ocaml-zip 1.11
2021-10-05	Richard W.M. Jones <rjones at redhat dot com> 7.0.0-4	- OCaml 4.13.1 build
2021-10-01	Robin Lee <cheeselee at fedoraproject dot org> 7.0.0-3	- BR: /usr/bin/python
2021-08-27	Jerry James <loganjerry at gmail dot com> - 7.0.0-1	- Version 7.0.0
2021-07-22	Fedora Release Engineering <releng at fedoraproject dot org> - 6.1-2	- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
2021-05-04	Jerry James <loganjerry at gmail dot com> - 6.1-1	- Version 6.1 - Drop upstreamed patches 0001, 0002, and 0004 - Rename patch 0003 to 0001 - Add 0002-Do-not-depend-on-stdlib-shims.patch - Remove unneeded BRs: autoconf, automake, make, ocaml-ocamlbuild, ocaml-ocamldoc, ocaml-expat-devel, ocaml-seq-devel, hevea - Add BRs: ocaml-dune, ocaml-odoc, ocaml-parmap-devel, ocaml-camlbz2-devel, dpkg, pandoc, poetry, and python3 packages poetry, sphinx, sphinx_rtd_theme, and wheel - Build, install, and test with dune
2021-03-01	Richard W.M. Jones <rjones at redhat dot com> - 5.0.1-32.20200502git24316fe	- OCaml 4.12.0 build
2021-01-26	Fedora Release Engineering <releng at fedoraproject dot org> - 5.0.1-31.20200502git24316fe	- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
2021-01-21	Richard W.M. Jones <rjones at redhat dot com> - 5.0.1-30.20200502git24316fe	- Rebuild for new ocaml-extlib. - Depend on ocaml-base64 for Base64 (instead of ocaml-extlib which removed it). - Move to newer snapshot.
2020-09-01	Richard W.M. Jones <rjones at redhat dot com> - 5.0.1-29.20180821git2c1b8df	- OCaml 4.11.1 rebuild

Dependencies

coq-core = 3918d7bd2e5c37607ad73da2d4adfefd
ocaml = c4b583a727ec28f5bc9ba36adc64cfc7
ocaml-base64 = e575596e3239b33238f86aafe17798ba
ocaml-base64-devel = e575596e3239b33238f86aafe17798ba
ocaml-camlbz2 = f8f68f4427aaf7cbe10b841c05b94fb3
ocaml-camlbz2-devel = f8f68f4427aaf7cbe10b841c05b94fb3
ocaml-cudf = e2b3a4fa57ea90fbab298ab0bef3c707
ocaml-cudf-devel = e2b3a4fa57ea90fbab298ab0bef3c707
ocaml-dose3 = 7.0.0-5.fc36
ocaml-extlib = aa0f419f1adec7d51b119cc9f6563dd5
ocaml-extlib-devel = aa0f419f1adec7d51b119cc9f6563dd5
ocaml-labltk = 3918d7bd2e5c37607ad73da2d4adfefd
ocaml-labltk-devel = 3918d7bd2e5c37607ad73da2d4adfefd
ocaml-ocamlgraph = 47701c19ffda713d7e6adbdcc3c64c56
ocaml-ocamlgraph-devel = 47701c19ffda713d7e6adbdcc3c64c56
ocaml-re = 5044deb7dcb851a0fea615c5933795a7
ocaml-re-devel = 5044deb7dcb851a0fea615c5933795a7
ocaml-runtime = c4b583a727ec28f5bc9ba36adc64cfc7
ocaml-seq = f5af16a45a811fff04c088fda58a1ba2
ocaml-seq-devel = f5af16a45a811fff04c088fda58a1ba2
ocaml-zip = e6fd061939d64bf4a09cc0e4696097c2
ocaml-zip-devel = e6fd061939d64bf4a09cc0e4696097c2
why3 = ae3781e371c97be46bd5e22f08120c9d

Provides

ocaml(Dose_algo)
ocaml(Dose_algo__Defaultgraphs)
ocaml(Dose_algo__Depsolver)
ocaml(Dose_algo__Depsolver_int)
ocaml(Dose_algo__Diagnostic)
ocaml(Dose_algo__Dominators)
ocaml(Dose_algo__Flatten)
ocaml(Dose_algo__Statistics)
ocaml(Dose_algo__Strongconflicts)
ocaml(Dose_algo__Strongconflicts_int)
ocaml(Dose_algo__Strongdeps)
ocaml(Dose_common)
ocaml(Dose_common__CudfAdd)
ocaml(Dose_common__CudfDiff)
ocaml(Dose_common__CudfSolver)
ocaml(Dose_common__EdosSolver)
ocaml(Dose_common__GitVersionInfo)
ocaml(Dose_common__Shell_lexer)
ocaml(Dose_common__Util)
ocaml(Dose_common__VersionInfo)
ocaml(Dose_debian)
ocaml(Dose_debian__Apt)
ocaml(Dose_debian__Architecture)
ocaml(Dose_debian__Debcudf)
ocaml(Dose_debian__Debutil)
ocaml(Dose_debian__Edsp)
ocaml(Dose_debian__Evolution)
ocaml(Dose_debian__Packages)
ocaml(Dose_debian__Release)
ocaml(Dose_debian__Sources)
ocaml(Dose_doseparse)
ocaml(Dose_doseparse__StdDebian)
ocaml(Dose_doseparse__StdDebug)
ocaml(Dose_doseparse__StdLoaders)
ocaml(Dose_doseparse__StdOptions)
ocaml(Dose_doseparse__StdUtils)
ocaml(Dose_extra)
ocaml(Dose_extra__Criteria)
ocaml(Dose_extra__Criteria_lexer)
ocaml(Dose_extra__Criteria_parser)
ocaml(Dose_extra__Criteria_types)
ocaml(Dose_extra__Format822)
ocaml(Dose_extra__Format822_lexer)
ocaml(Dose_extra__Format822_parser)
ocaml(Dose_extra__Input)
ocaml(Dose_extra__Url)
ocaml(Dose_npm)
ocaml(Dose_npm__Npm_lexer)
ocaml(Dose_npm__Npm_parser)
ocaml(Dose_npm__Npmcudf)
ocaml(Dose_npm__Packages)
ocaml(Dose_opam2)
ocaml(Dose_opam2__Opamcudf)
ocaml(Dose_opam2__Packages)
ocaml(Dose_opencsw)
ocaml(Dose_opencsw__Cswcudf)
ocaml(Dose_opencsw__Packages)
ocaml(Dose_pef)
ocaml(Dose_pef__Packages)
ocaml(Dose_pef__Packages_lexer)
ocaml(Dose_pef__Packages_parser)
ocaml(Dose_pef__Packages_types)
ocaml(Dose_pef__Pefcudf)
ocaml(Dose_pef__Printer)
ocaml(Dose_versioning)
ocaml(Dose_versioning__Debian)
ocaml(Dose_versioning__Semver)
ocaml(Dose_versioning__SemverNode)
ocaml(Dose_versioning__Utils)
ocaml-dose3-devel
ocaml-dose3-devel(x86-64)
ocamlx(Dose_algo)
ocamlx(Dose_algo__Defaultgraphs)
ocamlx(Dose_algo__Depsolver)
ocamlx(Dose_algo__Depsolver_int)
ocamlx(Dose_algo__Diagnostic)
ocamlx(Dose_algo__Dominators)
ocamlx(Dose_algo__Flatten)
ocamlx(Dose_algo__Statistics)
ocamlx(Dose_algo__Strongconflicts)
ocamlx(Dose_algo__Strongconflicts_int)
ocamlx(Dose_algo__Strongdeps)
ocamlx(Dose_common)
ocamlx(Dose_common__CudfAdd)
ocamlx(Dose_common__CudfDiff)
ocamlx(Dose_common__CudfSolver)
ocamlx(Dose_common__EdosSolver)
ocamlx(Dose_common__GitVersionInfo)
ocamlx(Dose_common__Shell_lexer)
ocamlx(Dose_common__Util)
ocamlx(Dose_common__VersionInfo)
ocamlx(Dose_debian)
ocamlx(Dose_debian__Apt)
ocamlx(Dose_debian__Architecture)
ocamlx(Dose_debian__Debcudf)
ocamlx(Dose_debian__Debutil)
ocamlx(Dose_debian__Edsp)
ocamlx(Dose_debian__Evolution)
ocamlx(Dose_debian__Packages)
ocamlx(Dose_debian__Release)
ocamlx(Dose_debian__Sources)
ocamlx(Dose_doseparse)
ocamlx(Dose_doseparse__StdDebian)
ocamlx(Dose_doseparse__StdDebug)
ocamlx(Dose_doseparse__StdLoaders)
ocamlx(Dose_doseparse__StdOptions)
ocamlx(Dose_doseparse__StdUtils)
ocamlx(Dose_extra)
ocamlx(Dose_extra__Criteria)
ocamlx(Dose_extra__Criteria_lexer)
ocamlx(Dose_extra__Criteria_parser)
ocamlx(Dose_extra__Criteria_types)
ocamlx(Dose_extra__Format822)
ocamlx(Dose_extra__Format822_lexer)
ocamlx(Dose_extra__Format822_parser)
ocamlx(Dose_extra__Input)
ocamlx(Dose_extra__Url)
ocamlx(Dose_npm)
ocamlx(Dose_npm__Npm_lexer)
ocamlx(Dose_npm__Npm_parser)
ocamlx(Dose_npm__Npmcudf)
ocamlx(Dose_npm__Packages)
ocamlx(Dose_opam2)
ocamlx(Dose_opam2__Opamcudf)
ocamlx(Dose_opam2__Packages)
ocamlx(Dose_opencsw)
ocamlx(Dose_opencsw__Cswcudf)
ocamlx(Dose_opencsw__Packages)
ocamlx(Dose_pef)
ocamlx(Dose_pef__Packages)
ocamlx(Dose_pef__Packages_lexer)
ocamlx(Dose_pef__Packages_parser)
ocamlx(Dose_pef__Packages_types)
ocamlx(Dose_pef__Pefcudf)
ocamlx(Dose_pef__Printer)
ocamlx(Dose_versioning)
ocamlx(Dose_versioning__Debian)
ocamlx(Dose_versioning__Semver)
ocamlx(Dose_versioning__SemverNode)
ocamlx(Dose_versioning__Utils)

Files

usr/
- lib64/
  - ocaml/
    - dose3/
      - algo/
        
        depsolver.mli
        
        depsolver_int.mli
        
        diagnostic.mli
        
        dose_algo.a
        
        dose_algo.cmt
        
        dose_algo.cmx
        
        dose_algo.cmxa
        
        dose_algo__Defaultgraphs.cmt
        
        dose_algo__Defaultgraphs.cmx
        
        dose_algo__Depsolver.cmt
        
        dose_algo__Depsolver.cmti
        
        dose_algo__Depsolver.cmx
        
        dose_algo__Depsolver_int.cmt
        
        dose_algo__Depsolver_int.cmti
        
        dose_algo__Depsolver_int.cmx
        
        dose_algo__Diagnostic.cmt
        
        dose_algo__Diagnostic.cmti
        
        dose_algo__Diagnostic.cmx
        
        dose_algo__Dominators.cmt
        
        dose_algo__Dominators.cmx
        
        dose_algo__Flatten.cmt
        
        dose_algo__Flatten.cmx
        
        dose_algo__Statistics.cmt
        
        dose_algo__Statistics.cmx
        
        dose_algo__Strongconflicts.cmt
        
        dose_algo__Strongconflicts.cmx
        
        dose_algo__Strongconflicts_int.cmt
        
        dose_algo__Strongconflicts_int.cmx
        
        dose_algo__Strongdeps.cmt
        
        dose_algo__Strongdeps.cmti
        
        dose_algo__Strongdeps.cmx
        
        strongdeps.mli
      - common/
        
        cudfAdd.mli
        
        cudfDiff.mli
        
        cudfSolver.mli
        
        dose_common.a
        
        dose_common.cmt
        
        dose_common.cmx
        
        dose_common.cmxa
        
        dose_common__CudfAdd.cmt
        
        dose_common__CudfAdd.cmti
        
        dose_common__CudfAdd.cmx
        
        dose_common__CudfDiff.cmt
        
        dose_common__CudfDiff.cmti
        
        dose_common__CudfDiff.cmx
        
        dose_common__CudfSolver.cmt
        
        dose_common__CudfSolver.cmti
        
        dose_common__CudfSolver.cmx
        
        dose_common__EdosSolver.cmt
        
        dose_common__EdosSolver.cmti
        
        dose_common__EdosSolver.cmx
        
        dose_common__GitVersionInfo.cmt
        
        dose_common__GitVersionInfo.cmx
        
        dose_common__Shell_lexer.cmt
        
        dose_common__Shell_lexer.cmx
        
        dose_common__Util.cmt
        
        dose_common__Util.cmti
        
        dose_common__Util.cmx
        
        dose_common__VersionInfo.cmt
        
        dose_common__VersionInfo.cmx
        
        edosSolver.mli
        
        util.mli
      - dune-package
      - opam
      - versioning/
        
        debian.mli
        
        dose_versioning.a
        
        dose_versioning.cmt
        
        dose_versioning.cmx
        
        dose_versioning.cmxa
        
        dose_versioning__Debian.cmt
        
        dose_versioning__Debian.cmti
        
        dose_versioning__Debian.cmx
        
        dose_versioning__Semver.cmt
        
        dose_versioning__Semver.cmti
        
        dose_versioning__Semver.cmx
        
        dose_versioning__SemverNode.cmt
        
        dose_versioning__SemverNode.cmti
        
        dose_versioning__SemverNode.cmx
        
        dose_versioning__Utils.cmt
        
        dose_versioning__Utils.cmx
        
        semver.mli
        
        semverNode.mli
    - dose3-extra/
      - criteria.mli
      - criteria_parser.mli
      - debian/
        
        architecture.mli
        
        debcudf.mli
        
        debutil.mli
        
        dose_debian.a
        
        dose_debian.cmt
        
        dose_debian.cmx
        
        dose_debian.cmxa
        
        dose_debian__Apt.cmt
        
        dose_debian__Apt.cmx
        
        dose_debian__Architecture.cmt
        
        dose_debian__Architecture.cmti
        
        dose_debian__Architecture.cmx
        
        dose_debian__Debcudf.cmt
        
        dose_debian__Debcudf.cmti
        
        dose_debian__Debcudf.cmx
        
        dose_debian__Debutil.cmt
        
        dose_debian__Debutil.cmti
        
        dose_debian__Debutil.cmx
        
        dose_debian__Edsp.cmt
        
        dose_debian__Edsp.cmx
        
        dose_debian__Evolution.cmt
        
        dose_debian__Evolution.cmx
        
        dose_debian__Packages.cmt
        
        dose_debian__Packages.cmti
        
        dose_debian__Packages.cmx
        
        dose_debian__Release.cmt
        
        dose_debian__Release.cmti
        
        dose_debian__Release.cmx
        
        dose_debian__Sources.cmt
        
        dose_debian__Sources.cmx
        
        packages.mli
        
        release.mli
      - dose_extra.a
      - dose_extra.cmt
      - dose_extra.cmx
      - dose_extra.cmxa
      - dose_extra__Criteria.cmt
      - dose_extra__Criteria.cmti
      - dose_extra__Criteria.cmx
      - dose_extra__Criteria_lexer.cmt
      - dose_extra__Criteria_lexer.cmx
      - dose_extra__Criteria_parser.cmt
      - dose_extra__Criteria_parser.cmti
      - dose_extra__Criteria_parser.cmx
      - dose_extra__Criteria_types.cmt
      - dose_extra__Criteria_types.cmx
      - dose_extra__Format822.cmt
      - dose_extra__Format822.cmx
      - dose_extra__Format822_lexer.cmt
      - dose_extra__Format822_lexer.cmx
      - dose_extra__Format822_parser.cmt
      - dose_extra__Format822_parser.cmti
      - dose_extra__Format822_parser.cmx
      - dose_extra__Input.cmt
      - dose_extra__Input.cmti
      - dose_extra__Input.cmx
      - dose_extra__Url.cmt
      - dose_extra__Url.cmti
      - dose_extra__Url.cmx
      - doseparse/
        
        dose_doseparse.a
        
        dose_doseparse.cmt
        
        dose_doseparse.cmx
        
        dose_doseparse.cmxa
        
        dose_doseparse__StdDebian.cmt
        
        dose_doseparse__StdDebian.cmx
        
        dose_doseparse__StdDebug.cmt
        
        dose_doseparse__StdDebug.cmx
        
        dose_doseparse__StdLoaders.cmt
        
        dose_doseparse__StdLoaders.cmx
        
        dose_doseparse__StdOptions.cmt
        
        dose_doseparse__StdOptions.cmx
        
        dose_doseparse__StdUtils.cmt
        
        dose_doseparse__StdUtils.cmx
      - dune-package
      - format822_parser.mli
      - input.mli
      - npm/
        
        dose_npm.a
        
        dose_npm.cmt
        
        dose_npm.cmx
        
        dose_npm.cmxa
        
        dose_npm__Npm_lexer.cmt
        
        dose_npm__Npm_lexer.cmx
        
        dose_npm__Npm_parser.cmt
        
        dose_npm__Npm_parser.cmti
        
        dose_npm__Npm_parser.cmx
        
        dose_npm__Npmcudf.cmt
        
        dose_npm__Npmcudf.cmx
        
        dose_npm__Packages.cmt
        
        dose_npm__Packages.cmti
        
        dose_npm__Packages.cmx
        
        npm_parser.mli
        
        packages.mli
      - opam
      - opam2/
        
        dose_opam2.a
        
        dose_opam2.cmt
        
        dose_opam2.cmx
        
        dose_opam2.cmxa
        
        dose_opam2__Opamcudf.cmt
        
        dose_opam2__Opamcudf.cmx
        
        dose_opam2__Packages.cmt
        
        dose_opam2__Packages.cmti
        
        dose_opam2__Packages.cmx
        
        packages.mli
      - opencsw/
        
        dose_opencsw.a
        
        dose_opencsw.cmt
        
        dose_opencsw.cmx
        
        dose_opencsw.cmxa
        
        dose_opencsw__Cswcudf.cmt
        
        dose_opencsw__Cswcudf.cmx
        
        dose_opencsw__Packages.cmt
        
        dose_opencsw__Packages.cmx
      - pef/
        
        dose_pef.a
        
        dose_pef.cmt
        
        dose_pef.cmx
        
        dose_pef.cmxa
        
        dose_pef__Packages.cmt
        
        dose_pef__Packages.cmti
        
        dose_pef__Packages.cmx
        
        dose_pef__Packages_lexer.cmt
        
        dose_pef__Packages_lexer.cmx
        
        dose_pef__Packages_parser.cmt
        
        dose_pef__Packages_parser.cmti
        
        dose_pef__Packages_parser.cmx
        
        dose_pef__Packages_types.cmt
        
        dose_pef__Packages_types.cmx
        
        dose_pef__Pefcudf.cmt
        
        dose_pef__Pefcudf.cmx
        
        dose_pef__Printer.cmt
        
        dose_pef__Printer.cmti
        
        dose_pef__Printer.cmx
        
        packages.mli
        
        packages_parser.mli
        
        printer.mli
      - url.mli
- share/
  - doc/
    - ocaml-dose3-devel/
      - dose3/
        
        Dose_algo/
        
        Defaultgraphs/
        
        ActionGraph/
        
        DotPrinter/
        
        Display/
        
        index.html
        
        index.html
        
        G/
        
        E/
        
        index.html
        
        V/
        
        index.html
        
        index.html
        
        GmlPrinter/
        
        index.html
        
        PkgV/
        
        index.html
        
        index.html
        
        GraphOper/
        
        O/
        
        index.html
        
        S/
        
        index.html
        
        index.html
        
        IntPkgGraph/
        
        DIn/
        
        index.html
        
        DotPrinter/
        
        Display/
        
        index.html
        
        index.html
        
        G/
        
        E/
        
        index.html
        
        V/
        
        index.html
        
        index.html
        
        GmlPrinter/
        
        index.html
        
        O/
        
        O/
        
        index.html
        
        S/
        
        index.html
        
        index.html
        
        PkgV/
        
        index.html
        
        S/
        
        index.html
        
        index.html
        
        PackageGraph/
        
        DotPrinter/
        
        Display/
        
        index.html
        
        index.html
        
        G/
        
        E/
        
        index.html
        
        V/
        
        index.html
        
        index.html
        
        GmlPrinter/
        
        index.html
        
        GraphmlPrinter/
        
        index.html
        
        O/
        
        O/
        
        index.html
        
        S/
        
        index.html
        
        index.html
        
        PkgV/
        
        index.html
        
        S/
        
        index.html
        
        UG/
        
        E/
        
        index.html
        
        V/
        
        index.html
        
        index.html
        
        index.html
        
        SyntacticDependencyGraph/
        
        DotPrinter/
        
        Display/
        
        index.html
        
        index.html
        
        G/
        
        E/
        
        index.html
        
        V/
        
        index.html
        
        index.html
        
        GmlPrinter/
        
        index.html
        
        GraphmlPrinter/
        
        index.html
        
        PkgE/
        
        index.html
        
        PkgV/
        
        index.html
        
        S/
        
        index.html
        
        index.html
        
        index.html
        
        Depsolver/
        
        index.html
        
        Depsolver_int/
        
        R/
        
        index.html
        
        S/
        
        index.html
        
        index.html
        
        Diagnostic/
        
        index.html
        
        Dominators/
        
        O/
        
        O/
        
        index.html
        
        S/
        
        index.html
        
        index.html
        
        index.html
        
        Flatten/
        
        CSet/
        
        index.html
        
        Conflict/
        
        index.html
        
        Disj/
        
        index.html
        
        Formula/
        
        index.html
        
        PSet/
        
        index.html
        
        PTbl/
        
        index.html
        
        Package/
        
        index.html
        
        index.html
        
        Statistics/
        
        Make/
        
        MSin/
        
        index.html
        
        MSout/
        
        index.html
        
        UndG/
        
        E/
        
        index.html
        
        V/
        
        index.html
        
        index.html
        
        VS/
        
        index.html
        
        index.html
        
        index.html
        
        Strongconflicts/
        
        CG/
        
        E/
        
        index.html
        
        V/
        
        index.html
        
        index.html
        
        CflE/
        
        index.html
        
        index.html
        
        Strongconflicts_int/
        
        CG/
        
        E/
        
        index.html
        
        V/
        
        index.html
        
        index.html
        
        CflE/
        
        index.html
        
        S/
        
        index.html
        
        index.html
        
        Strongdeps/
        
        index.html
        
        index.html
        
        Dose_algo__Defaultgraphs/
        
        ActionGraph/
        
        DotPrinter/
        
        Display/
        
        index.html
        
        index.html
        
        G/
        
        E/
        
        index.html
        
        V/
        
        index.html
        
        index.html
        
        GmlPrinter/
        
        index.html
        
        PkgV/
        
        index.html
        
        index.html
        
        GraphOper/
        
        O/
        
        index.html
        
        S/
        
        index.html
        
        index.html
        
        IntPkgGraph/
        
        DIn/
        
        index.html
        
        DotPrinter/
        
        Display/
        
        index.html
        
        index.html
        
        G/
        
        E/
        
        index.html
        
        V/
        
        index.html
        
        index.html
        
        GmlPrinter/
        
        index.html
        
        O/
        
        O/
        
        index.html
        
        S/
        
        index.html
        
        index.html
        
        PkgV/
        
        index.html
        
        S/
        
        index.html
        
        index.html
        
        PackageGraph/
        
        DotPrinter/
        
        Display/
        
        index.html
        
        index.html
        
        G/
        
        E/
        
        index.html
        
        V/
        
        index.html
        
        index.html
        
        GmlPrinter/
        
        index.html
        
        GraphmlPrinter/
        
        index.html
        
        O/
        
        O/
        
        index.html
        
        S/
        
        index.html
        
        index.html
        
        PkgV/
        
        index.html
        
        S/
        
        index.html
        
        UG/
        
        E/
        
        index.html
        
        V/
        
        index.html
        
        index.html
        
        index.html
        
        SyntacticDependencyGraph/
        
        DotPrinter/
        
        Display/
        
        index.html
        
        index.html
        
        G/
        
        E/
        
        index.html
        
        V/
        
        index.html
        
        index.html
        
        GmlPrinter/
        
        index.html
        
        GraphmlPrinter/
        
        index.html
        
        PkgE/
        
        index.html
        
        PkgV/
        
        index.html
        
        S/
        
        index.html
        
        index.html
        
        index.html
        
        Dose_algo__Depsolver/
        
        index.html
        
        Dose_algo__Depsolver_int/
        
        R/
        
        index.html
        
        S/
        
        index.html
        
        index.html
        
        Dose_algo__Diagnostic/
        
        index.html
        
        Dose_algo__Dominators/
        
        O/
        
        O/
        
        index.html
        
        S/
        
        index.html
        
        index.html
        
        index.html
        
        Dose_algo__Flatten/
        
        CSet/
        
        index.html
        
        Conflict/
        
        index.html
        
        Disj/
        
        index.html
        
        Formula/
        
        index.html
        
        PSet/
        
        index.html
        
        PTbl/
        
        index.html
        
        Package/
        
        index.html
        
        index.html
        
        Dose_algo__Statistics/
        
        Make/
        
        MSin/
        
        index.html
        
        MSout/
        
        index.html
        
        UndG/
        
        E/
        
        index.html
        
        V/
        
        index.html
        
        index.html
        
        VS/
        
        index.html
        
        index.html
        
        index.html
        
        Dose_algo__Strongconflicts/
        
        CG/
        
        E/
        
        index.html
        
        V/
        
        index.html
        
        index.html
        
        CflE/
        
        index.html
        
        index.html
        
        Dose_algo__Strongconflicts_int/
        
        CG/
        
        E/
        
        index.html
        
        V/
        
        index.html
        
        index.html
        
        CflE/
        
        index.html
        
        S/
        
        index.html
        
        index.html
        
        Dose_algo__Strongdeps/
        
        index.html
        
        Dose_common/
        
        CudfAdd/
        
        index.html
        
        CudfDiff/
        
        index.html
        
        CudfSolver/
        
        index.html
        
        EdosSolver/
        
        M/
        
        argument-1-X/
        
        index.html
        
        index.html
        
        index.html
        
        module-type-S/
        
        index.html
        
        module-type-T/
        
        X/
        
        index.html
        
        index.html
        
        GitVersionInfo/
        
        index.html
        
        Shell_lexer/
        
        index.html
        
        Util/
        
        Debug/
        
        index.html
        
        Info/
        
        index.html
        
        Logging/
        
        argument-1-X/
        
        index.html
        
        index.html
        
        Notice/
        
        index.html
        
        Progress/
        
        index.html
        
        Timer/
        
        index.html
        
        Warning/
        
        index.html
        
        class-identity/
        
        index.html
        
        class-intprojection/
        
        index.html
        
        class-type-projection/
        
        index.html
        
        index.html
        
        module-type-Messages/
        
        index.html
        
        VersionInfo/
        
        index.html
        
        index.html
        
        Dose_common__CudfAdd/
        
        index.html
        
        Dose_common__CudfDiff/
        
        index.html
        
        Dose_common__CudfSolver/
        
        index.html
        
        Dose_common__EdosSolver/
        
        M/
        
        argument-1-X/
        
        index.html
        
        index.html
        
        index.html
        
        module-type-S/
        
        index.html
        
        module-type-T/
        
        X/
        
        index.html
        
        index.html
        
        Dose_common__GitVersionInfo/
        
        index.html
        
        Dose_common__Shell_lexer/
        
        index.html
        
        Dose_common__Util/
        
        Debug/
        
        index.html
        
        Info/
        
        index.html
        
        Logging/
        
        argument-1-X/
        
        index.html
        
        index.html
        
        Notice/
        
        index.html
        
        Progress/
        
        index.html
        
        Timer/
        
        index.html
        
        Warning/
        
        index.html
        
        class-identity/
        
        index.html
        
        class-intprojection/
        
        index.html
        
        class-type-projection/
        
        index.html
        
        index.html
        
        module-type-Messages/
        
        index.html
        
        Dose_common__VersionInfo/
        
        index.html
        
        Dose_versioning/
        
        Debian/
        
        index.html
        
        Semver/
        
        index.html
        
        SemverNode/
        
        index.html
        
        Utils/
        
        index.html
        
        index.html
        
        Dose_versioning__Debian/
        
        index.html
        
        Dose_versioning__Semver/
        
        index.html
        
        Dose_versioning__SemverNode/
        
        index.html
        
        Dose_versioning__Utils/
        
        index.html
        
        index.html
      - dose3-extra/
        
        Dose_debian/
        
        Apt/
        
        Pref/
        
        index.html
        
        index.html
        
        Architecture/
        
        index.html
        
        Debcudf/
        
        index.html
        
        Debutil/
        
        index.html
        
        Edsp/
        
        index.html
        
        Evolution/
        
        index.html
        
        Packages/
        
        class-package/
        
        index.html
        
        index.html
        
        Release/
        
        index.html
        
        Sources/
        
        class-source/
        
        index.html
        
        index.html
        
        index.html
        
        Dose_debian__Apt/
        
        Pref/
        
        index.html
        
        index.html
        
        Dose_debian__Architecture/
        
        index.html
        
        Dose_debian__Debcudf/
        
        index.html
        
        Dose_debian__Debutil/
        
        index.html
        
        Dose_debian__Edsp/
        
        index.html
        
        Dose_debian__Evolution/
        
        index.html
        
        Dose_debian__Packages/
        
        class-package/
        
        index.html
        
        index.html
        
        Dose_debian__Release/
        
        index.html
        
        Dose_debian__Sources/
        
        class-source/
        
        index.html
        
        index.html
        
        Dose_doseparse/
        
        StdDebian/
        
        index.html
        
        StdDebug/
        
        index.html
        
        StdLoaders/
        
        index.html
        
        StdOptions/
        
        DistcheckOptions/
        
        index.html
        
        DistribOptions/
        
        index.html
        
        InputOptions/
        
        index.html
        
        MakeOptions/
        
        argument-1-O/
        
        index.html
        
        index.html
        
        OutputOptions/
        
        index.html
        
        index.html
        
        module-type-Ot/
        
        index.html
        
        StdUtils/
        
        index.html
        
        index.html
        
        Dose_doseparse__StdDebian/
        
        index.html
        
        Dose_doseparse__StdDebug/
        
        index.html
        
        Dose_doseparse__StdLoaders/
        
        index.html
        
        Dose_doseparse__StdOptions/
        
        DistcheckOptions/
        
        index.html
        
        DistribOptions/
        
        index.html
        
        InputOptions/
        
        index.html
        
        MakeOptions/
        
        argument-1-O/
        
        index.html
        
        index.html
        
        OutputOptions/
        
        index.html
        
        index.html
        
        module-type-Ot/
        
        index.html
        
        Dose_doseparse__StdUtils/
        
        index.html
        
        Dose_extra/
        
        Criteria/
        
        index.html
        
        Criteria_lexer/
        
        index.html
        
        Criteria_parser/
        
        index.html
        
        Criteria_types/
        
        index.html
        
        Format822/
        
        RawInput/
        
        index.html
        
        index.html
        
        Format822_lexer/
        
        index.html
        
        Format822_parser/
        
        index.html
        
        Input/
        
        index.html
        
        Url/
        
        index.html
        
        index.html
        
        Dose_extra__Criteria/
        
        index.html
        
        Dose_extra__Criteria_lexer/
        
        index.html
        
        Dose_extra__Criteria_parser/
        
        index.html
        
        Dose_extra__Criteria_types/
        
        index.html
        
        Dose_extra__Format822/
        
        RawInput/
        
        index.html
        
        index.html
        
        Dose_extra__Format822_lexer/
        
        index.html
        
        Dose_extra__Format822_parser/
        
        index.html
        
        Dose_extra__Input/
        
        index.html
        
        Dose_extra__Url/
        
        index.html
        
        Dose_npm/
        
        Npm_lexer/
        
        index.html
        
        Npm_parser/
        
        index.html
        
        Npmcudf/
        
        index.html
        
        Packages/
        
        class-package/
        
        index.html
        
        index.html
        
        index.html
        
        Dose_npm__Npm_lexer/
        
        index.html
        
        Dose_npm__Npm_parser/
        
        index.html
        
        Dose_npm__Npmcudf/
        
        index.html
        
        Dose_npm__Packages/
        
        class-package/
        
        index.html
        
        index.html
        
        Dose_opam2/
        
        Opamcudf/
        
        index.html
        
        Packages/
        
        class-package/
        
        index.html
        
        index.html
        
        index.html
        
        Dose_opam2__Opamcudf/
        
        index.html
        
        Dose_opam2__Packages/
        
        class-package/
        
        index.html
        
        index.html
        
        Dose_opencsw/
        
        Cswcudf/
        
        index.html
        
        Packages/
        
        Set/
        
        index.html
        
        index.html
        
        index.html
        
        Dose_opencsw__Cswcudf/
        
        index.html
        
        Dose_opencsw__Packages/
        
        Set/
        
        index.html
        
        index.html
        
        Dose_pef/
        
        Packages/
        
        class-package/
        
        index.html
        
        index.html
        
        Packages_lexer/
        
        index.html
        
        Packages_parser/
        
        index.html
        
        Packages_types/
        
        index.html
        
        Pefcudf/
        
        index.html
        
        Printer/
        
        index.html
        
        index.html
        
        Dose_pef__Packages/
        
        class-package/
        
        index.html
        
        index.html
        
        Dose_pef__Packages_lexer/
        
        index.html
        
        Dose_pef__Packages_parser/
        
        index.html
        
        Dose_pef__Packages_types/
        
        index.html
        
        Dose_pef__Pefcudf/
        
        index.html
        
        Dose_pef__Printer/
        
        index.html
        
        index.html
      - highlight.pack.js
      - index.html
      - odoc.css
  - licenses/
    - ocaml-dose3-devel/
      - COPYING

Sources on Pagure