Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

idris-0.9.9.1-2.el7 RPM for ppc64le

From EPEL 7 for ppc64le / Packages / i

Name: idris Distribution: Fedora Project
Version: 0.9.9.1 Vendor: Fedora Project
Release: 2.el7 Build date: Sun Dec 4 02:07:10 2016
Group: Unspecified Build host: buildvm-ppc64le-08.ppc.fedoraproject.org
Size: 74087244 Source RPM: idris-0.9.9.1-2.el7.src.rpm
Packager: Fedora Project
Url: http://hackage.haskell.org/package/idris
Summary: Functional Programming Language with Dependent Types
 
Idris 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.

Provides

Requires

License

BSD

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

Files

/usr/bin/idris
/usr/lib64/idris-0.9.9.1
/usr/lib64/idris-0.9.9.1/base
/usr/lib64/idris-0.9.9.1/base/Builtins.ibc
/usr/lib64/idris-0.9.9.1/base/Control
/usr/lib64/idris-0.9.9.1/base/Control/Arrow.ibc
/usr/lib64/idris-0.9.9.1/base/Control/Catchable.ibc
/usr/lib64/idris-0.9.9.1/base/Control/Category.ibc
/usr/lib64/idris-0.9.9.1/base/Control/IOExcept.ibc
/usr/lib64/idris-0.9.9.1/base/Control/Monad
/usr/lib64/idris-0.9.9.1/base/Control/Monad/Identity.ibc
/usr/lib64/idris-0.9.9.1/base/Control/Monad/State.ibc
/usr/lib64/idris-0.9.9.1/base/Data
/usr/lib64/idris-0.9.9.1/base/Data/Bits.ibc
/usr/lib64/idris-0.9.9.1/base/Data/BoundedList.ibc
/usr/lib64/idris-0.9.9.1/base/Data/HVect.ibc
/usr/lib64/idris-0.9.9.1/base/Data/Mod2.ibc
/usr/lib64/idris-0.9.9.1/base/Data/Morphisms.ibc
/usr/lib64/idris-0.9.9.1/base/Data/Sign.ibc
/usr/lib64/idris-0.9.9.1/base/Data/SortedMap.ibc
/usr/lib64/idris-0.9.9.1/base/Data/SortedSet.ibc
/usr/lib64/idris-0.9.9.1/base/Data/Vect
/usr/lib64/idris-0.9.9.1/base/Data/Vect.ibc
/usr/lib64/idris-0.9.9.1/base/Data/Vect/Quantifiers.ibc
/usr/lib64/idris-0.9.9.1/base/Data/ZZ.ibc
/usr/lib64/idris-0.9.9.1/base/Debug
/usr/lib64/idris-0.9.9.1/base/Debug/Trace.ibc
/usr/lib64/idris-0.9.9.1/base/Decidable
/usr/lib64/idris-0.9.9.1/base/Decidable/Decidable.ibc
/usr/lib64/idris-0.9.9.1/base/Decidable/Equality.ibc
/usr/lib64/idris-0.9.9.1/base/Decidable/Order.ibc
/usr/lib64/idris-0.9.9.1/base/IO.ibc
/usr/lib64/idris-0.9.9.1/base/Language
/usr/lib64/idris-0.9.9.1/base/Language/Reflection
/usr/lib64/idris-0.9.9.1/base/Language/Reflection.ibc
/usr/lib64/idris-0.9.9.1/base/Language/Reflection/Utils.ibc
/usr/lib64/idris-0.9.9.1/base/Network
/usr/lib64/idris-0.9.9.1/base/Network/Cgi.ibc
/usr/lib64/idris-0.9.9.1/base/Prelude
/usr/lib64/idris-0.9.9.1/base/Prelude.ibc
/usr/lib64/idris-0.9.9.1/base/Prelude/Algebra.ibc
/usr/lib64/idris-0.9.9.1/base/Prelude/Applicative.ibc
/usr/lib64/idris-0.9.9.1/base/Prelude/Cast.ibc
/usr/lib64/idris-0.9.9.1/base/Prelude/Chars.ibc
/usr/lib64/idris-0.9.9.1/base/Prelude/Complex.ibc
/usr/lib64/idris-0.9.9.1/base/Prelude/Either.ibc
/usr/lib64/idris-0.9.9.1/base/Prelude/Fin.ibc
/usr/lib64/idris-0.9.9.1/base/Prelude/Foldable.ibc
/usr/lib64/idris-0.9.9.1/base/Prelude/Functor.ibc
/usr/lib64/idris-0.9.9.1/base/Prelude/Heap.ibc
/usr/lib64/idris-0.9.9.1/base/Prelude/List.ibc
/usr/lib64/idris-0.9.9.1/base/Prelude/Maybe.ibc
/usr/lib64/idris-0.9.9.1/base/Prelude/Monad.ibc
/usr/lib64/idris-0.9.9.1/base/Prelude/Nat.ibc
/usr/lib64/idris-0.9.9.1/base/Prelude/Strings.ibc
/usr/lib64/idris-0.9.9.1/base/Prelude/Traversable.ibc
/usr/lib64/idris-0.9.9.1/base/Prelude/Vect.ibc
/usr/lib64/idris-0.9.9.1/base/Providers.ibc
/usr/lib64/idris-0.9.9.1/base/System
/usr/lib64/idris-0.9.9.1/base/System.ibc
/usr/lib64/idris-0.9.9.1/base/System/Concurrency
/usr/lib64/idris-0.9.9.1/base/System/Concurrency/Process.ibc
/usr/lib64/idris-0.9.9.1/base/System/Concurrency/Raw.ibc
/usr/lib64/idris-0.9.9.1/base/Uninhabited.ibc
/usr/lib64/idris-0.9.9.1/effects
/usr/lib64/idris-0.9.9.1/effects/Effect
/usr/lib64/idris-0.9.9.1/effects/Effect/Exception.ibc
/usr/lib64/idris-0.9.9.1/effects/Effect/File.ibc
/usr/lib64/idris-0.9.9.1/effects/Effect/Memory.ibc
/usr/lib64/idris-0.9.9.1/effects/Effect/Random.ibc
/usr/lib64/idris-0.9.9.1/effects/Effect/Select.ibc
/usr/lib64/idris-0.9.9.1/effects/Effect/State.ibc
/usr/lib64/idris-0.9.9.1/effects/Effect/StdIO.ibc
/usr/lib64/idris-0.9.9.1/effects/Effects.ibc
/usr/lib64/idris-0.9.9.1/executable_pom.xml
/usr/lib64/idris-0.9.9.1/javascript
/usr/lib64/idris-0.9.9.1/javascript/JavaScript
/usr/lib64/idris-0.9.9.1/javascript/JavaScript.ibc
/usr/lib64/idris-0.9.9.1/javascript/JavaScript/JSON.ibc
/usr/lib64/idris-0.9.9.1/js
/usr/lib64/idris-0.9.9.1/js/Runtime-browser.js
/usr/lib64/idris-0.9.9.1/js/Runtime-common.js
/usr/lib64/idris-0.9.9.1/js/Runtime-node.js
/usr/lib64/idris-0.9.9.1/llvm
/usr/lib64/idris-0.9.9.1/llvm/libidris_rts.a
/usr/lib64/idris-0.9.9.1/rts
/usr/lib64/idris-0.9.9.1/rts/idris_bitstring.h
/usr/lib64/idris-0.9.9.1/rts/idris_gc.h
/usr/lib64/idris-0.9.9.1/rts/idris_gmp.h
/usr/lib64/idris-0.9.9.1/rts/idris_heap.h
/usr/lib64/idris-0.9.9.1/rts/idris_main.c
/usr/lib64/idris-0.9.9.1/rts/idris_opts.h
/usr/lib64/idris-0.9.9.1/rts/idris_rts.h
/usr/lib64/idris-0.9.9.1/rts/idris_stats.h
/usr/lib64/idris-0.9.9.1/rts/idris_stdfgn.h
/usr/lib64/idris-0.9.9.1/rts/libidris_rts.a
/usr/lib64/idris-0.9.9.1/rts/libtest.c
/usr/share/doc/idris-0.9.9.1
/usr/share/doc/idris-0.9.9.1/LICENSE
/usr/share/doc/idris-0.9.9.1/tutorial
/usr/share/doc/idris-0.9.9.1/tutorial/examples
/usr/share/doc/idris-0.9.9.1/tutorial/examples/binary.idr
/usr/share/doc/idris-0.9.9.1/tutorial/examples/bmain.idr
/usr/share/doc/idris-0.9.9.1/tutorial/examples/btree.idr
/usr/share/doc/idris-0.9.9.1/tutorial/examples/classes.idr
/usr/share/doc/idris-0.9.9.1/tutorial/examples/foo.idr
/usr/share/doc/idris-0.9.9.1/tutorial/examples/hello.idr
/usr/share/doc/idris-0.9.9.1/tutorial/examples/idiom.idr
/usr/share/doc/idris-0.9.9.1/tutorial/examples/interp.idr
/usr/share/doc/idris-0.9.9.1/tutorial/examples/letbind.idr
/usr/share/doc/idris-0.9.9.1/tutorial/examples/prims.idr
/usr/share/doc/idris-0.9.9.1/tutorial/examples/theorems.idr
/usr/share/doc/idris-0.9.9.1/tutorial/examples/universe.idr
/usr/share/doc/idris-0.9.9.1/tutorial/examples/usefultypes.idr
/usr/share/doc/idris-0.9.9.1/tutorial/examples/vbroken.idr
/usr/share/doc/idris-0.9.9.1/tutorial/examples/views.idr
/usr/share/doc/idris-0.9.9.1/tutorial/examples/wheres.idr

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Apr 25 02:20:21 2024