Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM idris-manual-1.3.2-3.fc33.noarch.rpm

ID	608897
Name	idris-manual
Version	1.3.2
Release	3.fc33
Epoch
Arch	noarch
Summary	The Idris manual
Description	This package provides the manual for the Idris programming language.
Build Time	2020-05-09 20:18:41 GMT
Size	519.21 KB
SIGMD5	2ff6c1e92f2a45ae3074fb6ffc333216
License	BSD
Buildroot	f33-build-211890-48405
Provides	idris-manual = 1.3.2-3.fc33
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	Page: 1 2 3 4 1 through 50 of 170 >>> Name Size /usr/share/doc/idris-manual 0.00 B /usr/share/doc/idris-manual/_images 0.00 B /usr/share/doc/idris-manual/_images/effects-tree.png 36.89 KB /usr/share/doc/idris-manual/_images/login.png 9.92 KB /usr/share/doc/idris-manual/_images/netstate.png 17.13 KB /usr/share/doc/idris-manual/_images/plusReducesProof.png 14.01 KB /usr/share/doc/idris-manual/_sources 0.00 B /usr/share/doc/idris-manual/_sources/effects 0.00 B /usr/share/doc/idris-manual/_sources/effects/conclusions.rst.txt 3.03 KB /usr/share/doc/idris-manual/_sources/effects/depeff.rst.txt 11.76 KB /usr/share/doc/idris-manual/_sources/effects/hangman.rst.txt 12.11 KB /usr/share/doc/idris-manual/_sources/effects/impleff.rst.txt 11.56 KB /usr/share/doc/idris-manual/_sources/effects/index.rst.txt 1.16 KB /usr/share/doc/idris-manual/_sources/effects/introduction.rst.txt 4.30 KB /usr/share/doc/idris-manual/_sources/effects/simpleeff.rst.txt 19.08 KB /usr/share/doc/idris-manual/_sources/effects/state.rst.txt 17.42 KB /usr/share/doc/idris-manual/_sources/effects/summary.rst.txt 3.10 KB /usr/share/doc/idris-manual/_sources/faq 0.00 B /usr/share/doc/idris-manual/_sources/faq/faq.rst.txt 13.32 KB /usr/share/doc/idris-manual/_sources/guides 0.00 B /usr/share/doc/idris-manual/_sources/guides/index.rst.txt 607.00 B /usr/share/doc/idris-manual/_sources/guides/theorem-prover.rst.txt 4.97 KB /usr/share/doc/idris-manual/_sources/guides/type-providers-ffi.rst.txt 7.69 KB /usr/share/doc/idris-manual/_sources/index.rst.txt 814.00 B /usr/share/doc/idris-manual/_sources/proofs 0.00 B /usr/share/doc/idris-manual/_sources/proofs/definitional.rst.txt 8.81 KB /usr/share/doc/idris-manual/_sources/proofs/index.rst.txt 620.00 B /usr/share/doc/idris-manual/_sources/proofs/inductive.rst.txt 4.04 KB /usr/share/doc/idris-manual/_sources/proofs/interactive.rst.txt 9.80 KB /usr/share/doc/idris-manual/_sources/proofs/interactiveOld.rst.txt 5.25 KB /usr/share/doc/idris-manual/_sources/proofs/patterns.rst.txt 12.30 KB /usr/share/doc/idris-manual/_sources/proofs/pluscomm.rst.txt 6.14 KB /usr/share/doc/idris-manual/_sources/proofs/propositional.rst.txt 4.15 KB /usr/share/doc/idris-manual/_sources/reference 0.00 B /usr/share/doc/idris-manual/_sources/reference/codegen.rst.txt 2.92 KB /usr/share/doc/idris-manual/_sources/reference/compilation.rst.txt 5.02 KB /usr/share/doc/idris-manual/_sources/reference/documenting.rst.txt 4.92 KB /usr/share/doc/idris-manual/_sources/reference/elaborator-reflection.rst.txt 10.02 KB /usr/share/doc/idris-manual/_sources/reference/erasure.rst.txt 16.85 KB /usr/share/doc/idris-manual/_sources/reference/ffi.rst.txt 19.85 KB /usr/share/doc/idris-manual/_sources/reference/ide-protocol.rst.txt 9.93 KB /usr/share/doc/idris-manual/_sources/reference/index.rst.txt 1004.00 B /usr/share/doc/idris-manual/_sources/reference/internals.rst.txt 6.04 KB /usr/share/doc/idris-manual/_sources/reference/language-extensions.rst.txt 1.70 KB /usr/share/doc/idris-manual/_sources/reference/language-features.rst.txt 2.06 KB /usr/share/doc/idris-manual/_sources/reference/misc.rst.txt 6.75 KB /usr/share/doc/idris-manual/_sources/reference/packages.rst.txt 5.14 KB /usr/share/doc/idris-manual/_sources/reference/partial-evaluation.rst.txt 9.53 KB /usr/share/doc/idris-manual/_sources/reference/repl.rst.txt 25.16 KB /usr/share/doc/idris-manual/_sources/reference/semantic-highlighting.rst.txt 2.35 KB
Component of	No Buildroots