idris2-doc-0.8.0-5.fc44 - Fedora Packages

Date	Author	Change
2026-03-03	Jens Petersen <petersen at redhat dot com> - 0.8.0-5	- fix idris2-api bootstrap build
2026-03-02	Jens Petersen <petersen at redhat dot com> - 0.8.0-4	- enable idris2-api library (idris2.ipkg)
2026-03-02	Jens Petersen <petersen at redhat dot com> - 0.8.0-3	- fixup exception failure comment path for libc.so linker script
2026-01-16	Fedora Release Engineering <releng at fedoraproject dot org> - 0.8.0-2	- Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
2025-11-04	Jens Petersen <petersen at redhat dot com> - 0.8.0-1	- https://github.com/idris-lang/Idris2/blob/v0.8.0/CHANGELOG.md - recommend rlwrap for repl
2025-11-04	Jens Petersen <petersen at redhat dot com> - 0.7.0-8	- update comments for excluded archs
2025-11-01	Jens Petersen <petersen at redhat dot com> - 0.7.0-7	- only disable debug_package for el9
2025-07-24	Fedora Release Engineering <releng at fedoraproject dot org> - 0.7.0-6	- Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
2025-07-04	Jens Petersen <petersen at redhat dot com> - 0.7.0-5	- lock to the current chez-scheme version
2025-07-04	Jens Petersen <petersen at redhat dot com> - 0.7.0-4	- obsolete idris2-lib

usr/
- share/
  - doc/
    - idris2-doc/
      - html/
        
        .buildinfo
        
        _images/
        
        login.png
        
        _sources/
        
        app/
        
        exceptionsstate.rst.txt
        
        index.rst.txt
        
        interfaces.rst.txt
        
        introapp.rst.txt
        
        linear.rst.txt
        
        backends/
        
        backend-cookbook.rst.txt
        
        chez.rst.txt
        
        custom.rst.txt
        
        gambit.rst.txt
        
        incremental.rst.txt
        
        index.rst.txt
        
        javascript.rst.txt
        
        libraries.rst.txt
        
        racket.rst.txt
        
        refc.rst.txt
        
        cookbook/
        
        index.rst.txt
        
        parsing.rst.txt
        
        faq/
        
        faq.rst.txt
        
        ffi/
        
        ffi.rst.txt
        
        index.rst.txt
        
        readline.rst.txt
        
        implementation/
        
        ide-protocol.rst.txt
        
        index.rst.txt
        
        overview.rst.txt
        
        index.rst.txt
        
        libraries/
        
        index.rst.txt
        
        proofs/
        
        definitional.rst.txt
        
        index.rst.txt
        
        inductive.rst.txt
        
        patterns.rst.txt
        
        pluscomm.rst.txt
        
        propositional.rst.txt
        
        reference/
        
        builtins.rst.txt
        
        debugging.rst.txt
        
        documenting.rst.txt
        
        envvars.rst.txt
        
        failing.rst.txt
        
        index.rst.txt
        
        literate.rst.txt
        
        operators.rst.txt
        
        overloadedlit.rst.txt
        
        packages.rst.txt
        
        pragmas.rst.txt
        
        records.rst.txt
        
        strings.rst.txt
        
        tutorial/
        
        conclusions.rst.txt
        
        index.rst.txt
        
        interactive.rst.txt
        
        interfaces.rst.txt
        
        interp.rst.txt
        
        introduction.rst.txt
        
        miscellany.rst.txt
        
        modules.rst.txt
        
        multiplicities.rst.txt
        
        packages.rst.txt
        
        starting.rst.txt
        
        theorems.rst.txt
        
        typesfuns.rst.txt
        
        views.rst.txt
        
        windows.rst.txt
        
        typedd/
        
        typedd.rst.txt
        
        updates/
        
        updates.rst.txt
        
        _static/
        
        _sphinx_javascript_frameworks_compat.js
        
        basic.css
        
        css/
        
        badge_only.css
        
        theme.css
        
        doctools.js
        
        documentation_options.js
        
        file.png
        
        jquery.js
        
        js/
        
        badge_only.js
        
        theme.js
        
        versions.js
        
        language_data.js
        
        minus.png
        
        plus.png
        
        pygments.css
        
        searchtools.js
        
        sphinx_highlight.js
        
        app/
        
        exceptionsstate.html
        
        index.html
        
        interfaces.html
        
        introapp.html
        
        linear.html
        
        backends/
        
        backend-cookbook.html
        
        chez.html
        
        custom.html
        
        gambit.html
        
        incremental.html
        
        index.html
        
        javascript.html
        
        libraries.html
        
        racket.html
        
        refc.html
        
        cookbook/
        
        index.html
        
        parsing.html
        
        faq/
        
        faq.html
        
        ffi/
        
        ffi.html
        
        index.html
        
        readline.html
        
        genindex.html
        
        implementation/
        
        ide-protocol.html
        
        index.html
        
        overview.html
        
        index.html
        
        libraries/
        
        index.html
        
        objects.inv
        
        proofs/
        
        definitional.html
        
        index.html
        
        inductive.html
        
        patterns.html
        
        pluscomm.html
        
        propositional.html
        
        reference/
        
        builtins.html
        
        debugging.html
        
        documenting.html
        
        envvars.html
        
        failing.html
        
        index.html
        
        literate.html
        
        operators.html
        
        overloadedlit.html
        
        packages.html
        
        pragmas.html
        
        records.html
        
        strings.html
        
        search.html
        
        searchindex.js
        
        tutorial/
        
        conclusions.html
        
        index.html
        
        interactive.html
        
        interfaces.html
        
        interp.html
        
        introduction.html
        
        miscellany.html
        
        modules.html
        
        multiplicities.html
        
        packages.html
        
        starting.html
        
        theorems.html
        
        typesfuns.html
        
        views.html
        
        windows.html
        
        typedd/
        
        typedd.html
        
        updates/
        
        updates.html

idris2-doc-0.8.0-5.fc44 in Fedora 44

Changelog

Provides

Files