Tue, 23 Jul 2019 23:00:53 UTC

Information for build idris-0.9.9.1-2.el7

ID822500
Package Nameidris
Version0.9.9.1
Release2.el7
Epoch
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 behavior can be specified precisely in the type. The language is closely related to Epigram and Agda. There is a tutorial at <http://www.idris-lang.org/documentation>. Features include: - Full dependent types with dependent pattern matching - where clauses, with rule, simple case expressions, pattern matching let and lambda bindings - Type classes, monad comprehensions - do notation, idiom brackets, syntactic conveniences for lists, tuples, dependent pairs - Totality checking - Coinductive types - Indentation significant syntax, extensible syntax - Tactic based theorem proving (influenced by Coq) - Cumulative universes - Simple foreign function interface (to C) - Hugs style interactive environment.
Built bypetersen
State complete
Volume DEFAULT
StartedSun, 04 Dec 2016 00:55:09 UTC
CompletedSun, 04 Dec 2016 01:33:37 UTC
Taskbuild (epel7-ghc, /rpms/idris:7b330f6e1d939f57ce164d80a3a5785ffadd80d2)
Tags
epel7
epel7-ghc
RPMs
src
idris-0.9.9.1-2.el7.src.rpm (info) (download)
aarch64
idris-0.9.9.1-2.el7.aarch64.rpm (info) (download)
ppc64
idris-0.9.9.1-2.el7.ppc64.rpm (info) (download)
ppc64le
idris-0.9.9.1-2.el7.ppc64le.rpm (info) (download)
x86_64
idris-0.9.9.1-2.el7.x86_64.rpm (info) (download)
Logs
aarch64
root.log
state.log
build.log
x86_64
state.log
root.log
build.log
ppc64
state.log
root.log
build.log
ppc64le
root.log
build.log
state.log
Changelog * Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.9.9.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild * Sat Oct 05 2013 Jens Petersen <petersen@redhat.com> - 0.9.9.1-1 - update to 0.9.9.1 - depends on ansi-terminal and time * Fri Oct 04 2013 Jens Petersen <petersen@redhat.com> - 0.9.9-1 - update to 0.9.9 http://www.idris-lang.org/idris-0-9-9-released/ - disable LLVM backend for now - depends on vector-binary-instances - buildrequires gc-devel * Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.9.8-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild * Tue Jul 09 2013 Jens Petersen <petersen@redhat.com> - 0.9.8-3 - use cabal_configure_extra_options to set datadir (#947819) - add a comment about the devel files in the main package (#947819) * Mon Jul 08 2013 Jens Petersen <petersen@redhat.com> - 0.9.8-2 - install idris devel data files under libdir (#947819) * Mon Jul 01 2013 Jens Petersen <petersen@redhat.com> - 0.9.8-1 - update to 0.9.8 - http://idris-lang.org/archives/272 * Sat Apr 06 2013 Jens Petersen <petersen@redhat.com> - 0.9.7-2 - requires gcc * Wed Apr 03 2013 Jens Petersen <petersen@redhat.com> - 0.9.7-1 - spec file regenerated with cabal-rpm-0.8.0 * Sat Feb 25 2012 Jens Petersen <petersen@redhat.com> - 0.9.1-1 - update to 0.9.1 * Fri Jan 27 2012 Jens Petersen <petersen@redhat.com> - 0.9.0-1 - BSD license * Fri Jan 27 2012 Fedora Haskell SIG <haskell-devel@lists.fedoraproject.org> - spec file template generated by cabal2spec-0.25.4