Sat, 18 May 2024 06:36:47 UTC | login

Information for build idris-1.3.3-2.fc33

ID183765
Package Nameidris
Version1.3.3
Release2.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/idris.git#dedb618cfedb3983e37446b1696329015d8e1833
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.
Built bydavidlt
State failed
Volume DEFAULT
StartedFri, 07 May 2021 18:51:39 UTC
CompletedFri, 07 May 2021 19:08:58 UTC
Taskbuild (f33, /rpms/idris.git:dedb618cfedb3983e37446b1696329015d8e1833)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/idris.git#dedb618cfedb3983e37446b1696329015d8e1833'}}
Tags No tags
RPMs No RPMs
Changelog * Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.3.3-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Wed Jun 10 2020 Jens Petersen <petersen@redhat.com> - 1.3.3-1 - update to 1.3.3 * Thu Feb 20 2020 Jens Petersen <petersen@redhat.com> - 1.3.2-3 - refresh to cabal-rpm-2.0.2 * Wed Jan 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.3.2-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Thu Jul 25 2019 Jens Petersen <petersen@redhat.com> - 1.3.2-1 - update to 1.3.2 * Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.3.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Sun Mar 17 2019 Jens Petersen <petersen@redhat.com> - 1.3.1-2 - use python3-sphinx * Thu Feb 21 2019 Jens Petersen <petersen@redhat.com> - 1.3.1-1 - update to 1.3.1 * Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.3.0-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Wed Oct 24 2018 Jens Petersen <petersen@redhat.com> - 1.3.0-6 - rebuild for static executable - move library html docs to subpackage