idris2-doc-0.7.0-4.el10_1 RPM for noarch

From EPEL 10.1 Testing for x86_64 / Packages / i

The package contains the idris2 manual

Provides

• idris2-doc

Requires

• fontawesome-fonts
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1

License

BSD-3-Clause

Changelog

* Fri Jul 04 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-4
  - obsolete idris2-lib
* Fri Jul 04 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-3
  - redisable s390x
* Wed Jul 02 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-8
  - rename boot bcond to scm_boot (#2314358)
  - rename lib subpackage to libs (zbyszek, #2314358)
* Tue Jul 01 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-7
  - provides idris2-static
* Tue Jul 01 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-6
  - samples is gone with the archive tarball
* Mon Jan 20 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-3
  - use github archive tarball (zbyszek, #2314358)
  - enable s390x
  - rename docs subpackage to noarch doc (#2314358)
  - move license file to lib (zbyszek, #2314358)
* Sun Jan 19 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-2
  - use modern bcond macro (#2314358)
* Tue Jun 25 2024 Jens Petersen <petersen@redhat.com> - 0.7.0-1
  - update to 0.7.0
  - require chez-scheme-10
* Sat Aug 19 2023 Jens Petersen <petersen@redhat.com> - 0.6.0-0.1
  - update to 0.6.0
    https://github.com/idris-lang/Idris2/blob/v0.6.0/CHANGELOG.md
  - revert to chez-scheme

Files

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

Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Jul 7 07:20:51 2025