Thu, 29 Oct 2026 03:04:42 UTC | login

Information for RPM idris-1.3.4-27.fc45.src.rpm

ID40264
Buildidris-1.3.4-27.fc45
Nameidris
Version1.3.4
Release27.fc45
Epoch
Archsrc
DraftFalse
SummaryFunctional Programming Language with Dependent Types
DescriptionIdris is a general purpose language with full dependent types. It is compiled, with eager evaluation. Dependent types allow types to be predicated on values, meaning that some aspects of a program's behaviour can be specified precisely in the type. The language is closely related to Epigram and Agda. There is a tutorial at <https://www.idris-lang.org/documentation>. Features include: * Full, first class, dependent types with dependent pattern matching * where clauses, with rule, case expressions, pattern matching let and lambda bindings * Interfaces (similar to type classes), monad comprehensions * do notation, idiom brackets, syntactic conveniences for lists, tuples, dependent pairs * Totality checking * Coinductive types * Indentation significant syntax, extensible syntax * Cumulative universes * Simple foreign function interface (to C) * Hugs style interactive environment.
Build Time2026-10-14 13:04:45 GMT
Size1.68 MB
d1af52b7bd14ecd9b4494ca8d89d0490
LicenseBSD-3-Clause
Buildrootf45-build-14102-456
Provides
ghc-idris = 1.3.4-27.fc45
ghc-idris-devel = 1.3.4-27.fc45
idris = 1.3.4-27.fc45
idris-common = 1.3.4-27.fc45
idris-docs = 1.3.4-27.fc45
idris-manual = 1.3.4-27.fc45
idris-static = 1.3.4-27.fc45
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
gc-devel
ghc-Cabal-devel
ghc-aeson-devel
ghc-annotated-wl-pprint-devel
ghc-ansi-terminal-devel
ghc-ansi-wl-pprint-devel
ghc-array-devel
ghc-async-devel
ghc-base-devel
ghc-base64-bytestring-devel
ghc-binary-devel
ghc-blaze-html-devel
ghc-blaze-markup-devel
ghc-bytestring-devel
ghc-cheapskate-devel
ghc-code-page-devel
ghc-containers-devel
ghc-deepseq-devel
ghc-directory-devel
ghc-filepath-devel
ghc-fingertree-devel
ghc-fsnotify-devel
ghc-haskeline-devel
ghc-ieee754-devel
ghc-libffi-devel
ghc-megaparsec-devel
ghc-mtl-devel
ghc-network-devel
ghc-optparse-applicative-devel
ghc-parser-combinators-devel
ghc-pretty-devel
ghc-process-devel
ghc-regex-tdfa-devel
ghc-rpm-macros
ghc-safe-devel
ghc-split-devel
ghc-terminal-size-devel
ghc-text-devel
ghc-time-devel
ghc-transformers-devel
ghc-uniplate-devel
ghc-unix-devel
ghc-unordered-containers-devel
ghc-utf8-string-devel
ghc-vector-binary-instances-devel
ghc-vector-devel
ghc-zip-archive-devel
gmp-devel
python3-sphinx
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 7 of 7
Name ascending sort Size
4920.patch772.00 B
4921.patch776.00 B
4922.patch718.00 B
4925.patch7.87 KB
4926.patch2.84 KB
idris-1.3.4.tar.gz1.64 MB
idris.spec18.14 KB
Component of No Buildroots