ghc-Agda-2.3.0.1-9.el6.i686.rpm


Advertisement

Description

ghc-Agda - A dependently typed functional programming language and proof assistant

Property Value
Distribution CentOS 6
Repository EPEL i386
Package filename ghc-Agda-2.3.0.1-9.el6.i686.rpm
Package name ghc-Agda
Package version 2.3.0.1
Package release 9.el6
Package architecture i686
Package type rpm
Homepage http://hackage.haskell.org/package/Agda
License MIT and BSD
Maintainer -
Download size 2.89 MB
Installed size 16.79 MB
Agda is a dependently typed functional programming language: it has
inductive families, which are similar to Haskell's GADTs, but they can
be indexed by values and not just types. It also has parameterized
modules, mixfix operators, Unicode characters, and an interactive
Emacs interface (the type checker can assist in the development of your code).
Agda is also a proof assistant: It is an interactive system for writing and
checking proofs. Agda is based on intuitionistic type theory,
a foundational system for constructive mathematics developed by
the Swedish logician Per Martin-Löf. It has many similarities with other
proof assistants based on dependent types, such as Coq, Epigram and NuPRL.
For Emacs mode install emacs-agda.
If you want to use the command-line program (agda),
then you should also install Agda-executable.

Alternatives

Package Version Architecture Repository
ghc-Agda-2.3.0.1-9.el6.x86_64.rpm 2.3.0.1 x86_64 EPEL
ghc-Agda - - -

Requires

Name Value
ghc(QuickCheck-2.4.1.1) = 1000c3b89d91340dd1d91ed3418f6982
ghc(array-0.3.0.2) = f538acad67d0b6696484da310d5949cf
ghc(base-4.3.1.0) = 4582a5bc64f22f03f6d960b4f15c981f
ghc(binary-0.5.0.2) = 664c8a2e48ab3d054fada951de472070
ghc(bytestring-0.9.1.10) = 3854cb01149a317dd7949605f3224792
ghc(containers-0.4.0.0) = f1307d32d8f4b51a1487c01f0997b6d9
ghc(directory-1.1.0.0) = 95cc9241c454ad659291443824c9e1e2
ghc(filepath-1.2.0.0) = 956a4b0c127b8c317f6cac3946b0b803
ghc(hashable-1.1.2.3) = 5584afb717ecdc7d9a024bcc483b047a
ghc(hashtables-1.0.1.6) = ec7e7079bd4aa426ad4b1d3fdbabe98e
ghc(haskeline-0.6.4.6) = e86ab1b8d8c1139db2811718382f2143
ghc(haskell-src-exts-1.13.3) = 0614afdb9b412c89b4200a669662994f
ghc(mtl-2.0.1.0) = 3e464329054b7660133198d73c31aca5
ghc(old-time-1.0.0.6) = 249d424df19da9487f0cb7da3ccb0868
ghc(pretty-1.0.1.2) = f2c716197e95f5c78869e6b87f2330d9
ghc(process-1.0.1.5) = 99e45a86cf1678266024ae9c30d1f778
ghc(syb-0.3.3) = daedbadc9dc041093c4210b3087b5f0b
ghc(xhtml-3000.2.0.4) = 7b9a50a74f87a6ec6bc76f765b6c55fc
ghc(zlib-0.5.3.1) = 3c6d04702765b68fe92c99674060e068
libHSQuickCheck-2.4.1.1-ghc7.0.4.so -
libHSarray-0.3.0.2-ghc7.0.4.so -
libHSbase-4.3.1.0-ghc7.0.4.so -
libHSbinary-0.5.0.2-ghc7.0.4.so -
libHSbytestring-0.9.1.10-ghc7.0.4.so -
libHScontainers-0.4.0.0-ghc7.0.4.so -
libHScpphs-1.14-ghc7.0.4.so -
libHSdeepseq-1.1.0.2-ghc7.0.4.so -
libHSdirectory-1.1.0.0-ghc7.0.4.so -
libHSextensible-exceptions-0.1.1.2-ghc7.0.4.so -
libHSfilepath-1.2.0.0-ghc7.0.4.so -
libHSghc-prim-0.2.0.0-ghc7.0.4.so -
libHShashable-1.1.2.3-ghc7.0.4.so -
libHShashtables-1.0.1.6-ghc7.0.4.so -
libHShaskeline-0.6.4.6-ghc7.0.4.so -
libHShaskell-src-exts-1.13.3-ghc7.0.4.so -
libHSinteger-gmp-0.2.0.3-ghc7.0.4.so -
libHSmtl-2.0.1.0-ghc7.0.4.so -
libHSold-locale-1.0.0.2-ghc7.0.4.so -
libHSold-time-1.0.0.6-ghc7.0.4.so -
libHSpretty-1.0.1.2-ghc7.0.4.so -
libHSprimitive-0.4.0.1-ghc7.0.4.so -
libHSprocess-1.0.1.5-ghc7.0.4.so -
libHSrandom-1.0.0.3-ghc7.0.4.so -
libHSsyb-0.3.3-ghc7.0.4.so -
libHStemplate-haskell-2.5.0.0-ghc7.0.4.so -
libHSterminfo-0.3.2.3-ghc7.0.4.so -
libHStext-0.11.1.5-ghc7.0.4.so -
libHStime-1.2.0.3-ghc7.0.4.so -
libHStransformers-0.2.2.0-ghc7.0.4.so -
libHSunix-2.4.2.0-ghc7.0.4.so -
libHSutf8-string-0.3.7-ghc7.0.4.so -
libHSvector-0.9.1-ghc7.0.4.so -
libHSxhtml-3000.2.0.4-ghc7.0.4.so -
libHSzlib-0.5.3.1-ghc7.0.4.so -
libc.so.6(GLIBC_2.1.3) -
libdl.so.2 -
libgmp.so.3 -
libncursesw.so.5 -
librt.so.1 -
libtinfo.so.5 -
libutil.so.1 -
libz.so.1 -
rtld(GNU_HASH) -

Provides

Name Value
ghc(Agda-2.3.0.1) = 63a3237cac09a05ad11e9485a2fb57ae
ghc-Agda = 2.3.0.1-9.el6
ghc-Agda(x86-32) = 2.3.0.1-9.el6
libHSAgda-2.3.0.1-ghc7.0.4.so -

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package ghc-Agda-2.3.0.1-9.el6.i686.rpm
Source Package ghc-Agda-2.3.0.1-9.el6.src.rpm

Install Howto

  1. Download latest epel-release rpm from
    http://download-ib01.fedoraproject.org/pub/epel/6/i386/
  2. Install epel-release rpm:
    # rpm -Uvh epel-release*rpm
  3. Install ghc-Agda rpm package:
    # yum install ghc-Agda

Files

Path
/usr/lib/ghc-7.0.4/Agda-2.3.0.1/libHSAgda-2.3.0.1-ghc7.0.4.so
/usr/share/Agda-2.3.0.1/Agda.css
/usr/share/doc/ghc-Agda-2.3.0.1/LICENSE

Changelog

2012-12-12 - Jens Petersen <petersen@redhat.com> - 2.3.0.1-9
- update QuickCheck-2.5 patch following upstream 2.3.2
- for epel6 redefine newer _emacs_bytecompile
- own datadir correctly
2012-11-09 - Jens Petersen <petersen@redhat.com> - 2.3.0.1-8
- build with QuickCheck 2.5
2012-07-19 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.0.1-7
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
2012-07-16 - Jens Petersen <petersen@redhat.com> - 2.3.0.1-6
- change prof BRs to devel
2012-07-11 - Jens Petersen <petersen@redhat.com> - 2.3.0.1-5
- fix agda2-version in agda2-mode.el
2012-06-21 - Jens Petersen <petersen@redhat.com> - 2.3.0.1-4
- upstream patch for building with haskell-src-exts-1.13
- use new cabal-tweak-dep-ver script to change mtl and haskell-src-exts bounds
2012-06-11 - Jens Petersen <petersen@redhat.com> - 2.3.0.1-3
- allow building with mtl-2.1
2012-05-31 - Jens Petersen <petersen@redhat.com> - 2.3.0.1-2
- library license is also BSD (#710031)
- move release notes to devel subpackage
2012-04-10 - Jens Petersen <petersen@redhat.com> - 2.3.0.1-1
- update to 2.3.0.1 for ghc-7.4.1
2012-02-14 - Jens Petersen <petersen@redhat.com> - 2.3.0-1
- update to 2.3.0
- update to cabal2spec-0.25
- new depends on hashtables

See Also

Package Description
ghc-Agda-devel-2.3.0.1-9.el6.i686.rpm A dependently typed functional programming language and proof assistant development files
ghc-Cabal-1.10.2.0-46.el6.i686.rpm Haskell Cabal library
ghc-Cabal-devel-1.10.2.0-46.el6.i686.rpm Haskell Cabal library development files
ghc-Diff-0.1.3-1.el6.i686.rpm A O(ND) diff algorithm in Haskell
ghc-Diff-devel-0.1.3-1.el6.i686.rpm A O(ND) diff algorithm in Haskell development files
ghc-GLUT-2.1.2.1-13.el6.i686.rpm Haskell GLUT library
ghc-GLUT-devel-2.1.2.1-13.el6.i686.rpm Haskell GLUT library development files
ghc-HTTP-4000.1.2-4.el6.i686.rpm Haskell HTTP client library
ghc-HTTP-devel-4000.1.2-4.el6.i686.rpm Haskell HTTP client library development files
ghc-HUnit-1.2.4.2-3.el6.i686.rpm Haskell HUnit library
ghc-HUnit-devel-1.2.4.2-3.el6.i686.rpm Haskell HUnit library development files
ghc-IfElse-0.85-1.el6.i686.rpm Anaphoric and miscellaneous useful control-flow
ghc-IfElse-devel-0.85-1.el6.i686.rpm Anaphoric and miscellaneous useful control-flow development files
ghc-MissingH-1.1.1.0-5.el6.i686.rpm Large utility library
ghc-MissingH-devel-1.1.1.0-5.el6.i686.rpm Large utility library development files
Advertisement
Advertisement