ocaml-psmt2-frontend-docs-0.4.0-1.fc36

Date	Author	Change
2021-12-27	Jerry James <loganjerry at gmail dot com> - 0.4.0-1	- Version 0.4.0 - Drop obsolete -autoconf patch - Add %check script - Add -docs subpackage
2021-10-05	Richard W.M. Jones <rjones at redhat dot com> - 0.1-11	- OCaml 4.13.1 build
2021-07-22	Fedora Release Engineering <releng at fedoraproject dot org> - 0.1-10	- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
2021-07-19	Jerry James <loganjerry at gmail dot com> - 0.1-9	- Move META to the main package
2021-03-29	Jerry James <loganjerry at gmail dot com> - 0.1-9	- Add -autoconf patch for autoconf 2.71 (bz 1943044)
2021-03-02	Richard W.M. Jones <rjones at redhat dot com> - 0.1-8	- OCaml 4.12.0 build
2021-01-26	Fedora Release Engineering <releng at fedoraproject dot org> - 0.1-7	- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
2020-09-01	Richard W.M. Jones <rjones at redhat dot com> - 0.1-6	- OCaml 4.11.1 rebuild
2020-08-22	Richard W.M. Jones <rjones at redhat dot com> - 0.1-5	- Bump and rebuild
2020-08-21	Richard W.M. Jones <rjones at redhat dot com> - 0.1-4	- OCaml 4.11.0 rebuild

usr/
- share/
  - doc/
    - ocaml-psmt2-frontend/
      - _html/
        
        highlight.pack.js
        
        index.html
        
        odoc.css
        
        psmt2-frontend/
        
        Psmt2Frontend/
        
        Main/
        
        index.html
        
        Options/
        
        index.html
        
        Smtlib_error/
        
        index.html
        
        Smtlib_lexer/
        
        index.html
        
        Smtlib_parser/
        
        index.html
        
        Smtlib_printer/
        
        index.html
        
        Smtlib_syntax/
        
        index.html
        
        Smtlib_ty/
        
        IMap/
        
        index.html
        
        SMap/
        
        index.html
        
        index.html
        
        Smtlib_typed_env/
        
        SMap/
        
        index.html
        
        index.html
        
        Smtlib_typed_logic/
        
        index.html
        
        Smtlib_typing/
        
        index.html
        
        Version/
        
        index.html
        
        index.html
        
        Psmt2Frontend__Main/
        
        index.html
        
        Psmt2Frontend__Options/
        
        index.html
        
        Psmt2Frontend__Smtlib_error/
        
        index.html
        
        Psmt2Frontend__Smtlib_lexer/
        
        index.html
        
        Psmt2Frontend__Smtlib_parser/
        
        index.html
        
        Psmt2Frontend__Smtlib_printer/
        
        index.html
        
        Psmt2Frontend__Smtlib_syntax/
        
        index.html
        
        Psmt2Frontend__Smtlib_ty/
        
        IMap/
        
        index.html
        
        SMap/
        
        index.html
        
        index.html
        
        Psmt2Frontend__Smtlib_typed_env/
        
        SMap/
        
        index.html
        
        index.html
        
        Psmt2Frontend__Smtlib_typed_logic/
        
        index.html
        
        Psmt2Frontend__Smtlib_typing/
        
        index.html
        
        Psmt2Frontend__Version/
        
        index.html
        
        index.html
        
        psmt2-frontend_bin/
        
        index.html
      - sphinx/
        
        .buildinfo
        
        .doctrees/
        
        about.doctree
        
        environment.pickle
        
        index.doctree
        
        install.doctree
        
        license.doctree
        
        _sources/
        
        about.rst.txt
        
        index.rst.txt
        
        install.rst.txt
        
        license.rst.txt
        
        _static/
        
        basic.css
        
        css/
        
        badge_only.css
        
        fixes.css
        
        theme.css
        
        doctools.js
        
        documentation_options.js
        
        file.png
        
        jquery-3.5.1.js
        
        jquery.js
        
        js/
        
        badge_only.js
        
        theme.js
        
        language_data.js
        
        minus.png
        
        plus.png
        
        pygments.css
        
        searchtools.js
        
        underscore-1.13.1.js
        
        underscore.js
        
        about.html
        
        genindex.html
        
        index.html
        
        install.html
        
        license.html
        
        objects.inv
        
        search.html
        
        searchindex.js

ocaml-psmt2-frontend-docs-0.4.0-1.fc36 in Fedora Rawhide

Changelog

Provides

Files