idris-0.9.9.1-2.el7 in EPEL 7
↵ Return to the main page of idris
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2014-06-07 | Fedora Release Engineering <rel dash eng at lists dot fedoraproject dot org> - 0.9.9.1-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild |
| 2013-10-05 | Jens Petersen <petersen at redhat dot com> - 0.9.9.1-1 | - update to 0.9.9.1 - depends on ansi-terminal and time |
| 2013-10-04 | Jens Petersen <petersen at redhat dot 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 |
| 2013-08-03 | Fedora Release Engineering <rel dash eng at lists dot fedoraproject dot org> - 0.9.8-4 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild |
| 2013-07-09 | Jens Petersen <petersen at redhat dot 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) |
| 2013-07-08 | Jens Petersen <petersen at redhat dot com> - 0.9.8-2 | - install idris devel data files under libdir (#947819) |
| 2013-07-01 | Jens Petersen <petersen at redhat dot com> - 0.9.8-1 | - update to 0.9.8 - http://idris-lang.org/archives/272 |
| 2013-04-06 | Jens Petersen <petersen at redhat dot com> - 0.9.7-2 | - requires gcc |
| 2013-04-03 | Jens Petersen <petersen at redhat dot com> - 0.9.7-1 | - spec file regenerated with cabal-rpm-0.8.0 |
| 2012-02-25 | Jens Petersen <petersen at redhat dot com> - 0.9.1-1 | - update to 0.9.1 |
Dependencies
- ghc-Cabal
- ghc-ansi-terminal
- ghc-array
- ghc-base
- ghc-binary
- ghc-bytestring
- ghc-cereal
- ghc-containers
- ghc-cpphs
- ghc-deepseq
- ghc-directory
- ghc-filepath
- ghc-haskeline
- ghc-language-java
- ghc-libffi
- ghc-mtl
- ghc-old-locale
- ghc-old-time
- ghc-parsec
- ghc-pretty
- ghc-primitive
- ghc-process
- ghc-split
- ghc-terminfo
- ghc-text
- ghc-time
- ghc-transformers
- ghc-unix
- ghc-vector
- ghc-vector-binary-instances
Provides
- idris
- idris(x86-64)
Files
- usr/
- bin/
- idris
- lib64/
- idris-0.9.9.1/
- base/
- Builtins.ibc
- Control/
- Arrow.ibc
- Catchable.ibc
- Category.ibc
- IOExcept.ibc
- Monad/
- Identity.ibc
- State.ibc
- Data/
- Bits.ibc
- BoundedList.ibc
- HVect.ibc
- Mod2.ibc
- Morphisms.ibc
- Sign.ibc
- SortedMap.ibc
- SortedSet.ibc
- Vect/
- Quantifiers.ibc
- Vect.ibc
- ZZ.ibc
- Debug/
- Trace.ibc
- Decidable/
- Decidable.ibc
- Equality.ibc
- Order.ibc
- IO.ibc
- Language/
- Reflection/
- Utils.ibc
- Reflection.ibc
- Reflection/
- Network/
- Cgi.ibc
- Prelude/
- Algebra.ibc
- Applicative.ibc
- Cast.ibc
- Chars.ibc
- Complex.ibc
- Either.ibc
- Fin.ibc
- Foldable.ibc
- Functor.ibc
- Heap.ibc
- List.ibc
- Maybe.ibc
- Monad.ibc
- Nat.ibc
- Strings.ibc
- Traversable.ibc
- Vect.ibc
- Prelude.ibc
- Providers.ibc
- System/
- Concurrency/
- Process.ibc
- Raw.ibc
- Concurrency/
- System.ibc
- Uninhabited.ibc
- effects/
- Effect/
- Exception.ibc
- File.ibc
- Memory.ibc
- Random.ibc
- Select.ibc
- State.ibc
- StdIO.ibc
- Effects.ibc
- Effect/
- executable_pom.xml
- javascript/
- JavaScript/
- JSON.ibc
- JavaScript.ibc
- JavaScript/
- js/
- Runtime-browser.js
- Runtime-common.js
- Runtime-node.js
- llvm/
- libidris_rts.a
- rts/
- idris_bitstring.h
- idris_gc.h
- idris_gmp.h
- idris_heap.h
- idris_main.c
- idris_opts.h
- idris_rts.h
- idris_stats.h
- idris_stdfgn.h
- libidris_rts.a
- libtest.c
- base/
- idris-0.9.9.1/
- share/
- doc/
- idris-0.9.9.1/
- LICENSE
- tutorial/
- examples/
- binary.idr
- bmain.idr
- btree.idr
- classes.idr
- foo.idr
- hello.idr
- idiom.idr
- interp.idr
- letbind.idr
- prims.idr
- theorems.idr
- universe.idr
- usefultypes.idr
- vbroken.idr
- views.idr
- wheres.idr
- examples/
- idris-0.9.9.1/
- doc/
- bin/
Sources on Pagure