Sat, 08 Jun 2024 15:11:22 UTC | login

Information for RPM ghc-idris-doc-1.3.4-6.fc38.noarch.rpm

ID1019255
Nameghc-idris-doc
Version1.3.4
Release6.fc38
Epoch
Archnoarch
SummaryHaskell idris library documentation
DescriptionThis package provides the Haskell idris library documentation.
Build Time2023-06-03 09:53:49 GMT
Size2.33 MB
92b5f86b37b65f100fa5d90f9c692eaa
LicenseBSD-3-Clause
Buildrootf38-build-719838-97265
Provides
ghc-idris-doc = 1.3.4-6.fc38
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ghc-filesystem
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 through 50 of 326 >>>
Name Size ascending sort
/usr/share/doc/ghc/html/libraries/idris-1.3.40.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/man0.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples0.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/ST0.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/ST/Graphics0.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/ST/Net0.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/effects0.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/misc0.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/tutorial0.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src0.00 B
/usr/share/licenses/ghc-idris-doc0.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/meta.json28.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/tutorial/Hello.idr57.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/tutorial/Universe.idr92.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/tutorial/BMain.idr115.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/tutorial/Prims.idr116.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/tutorial/Foo.idr119.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/effects/hworld.idr139.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/tutorial/VBroken.idr228.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/tutorial/Wheres.idr242.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/ST/Composite.idr282.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/tutorial/ViewsBroken.idr303.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/effects/ConsoleIO.idr330.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/misc/javaffi.idr335.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/tutorial/Interfaces.idr353.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/tutorial/LetBind.idr403.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/tutorial/Record.idr463.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/effects/Select.idr488.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/tutorial/UsefulTypes.idr491.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/tutorial/BTreeMod.idr516.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/tutorial/BTree.idr517.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/effects/Exception.idr521.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/highlight.js567.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/effects/TreeTag-noeff.idr630.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/ST/Net/Threads.idr682.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/effects/ReadInt.idr740.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/tutorial/Views.idr775.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/tutorial/Theorems.idr794.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/CITATION.md809.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/ST/Net/EchoSimple.idr850.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/ST/TreeTag.idr871.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/RELEASE-CHECKS.md887.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/effects/TreeTagCount.idr910.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/misc/named_implementation.lidr922.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/tutorial/Idiom.idr1.02 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/effects/TreeTag.idr1.03 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/effects/Random.idr1.07 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Version_idris.html1.23 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/BuildFlags_idris.html1.26 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/samples/effects/vadd.idr1.34 KB
Component of No Buildroots