SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

Agda rpm build for : Fedora 16. For other distributions click Agda.

Name : Agda
Version : 2.3.0.1 Vendor : Fedora Project
Release : 1.fc16 Date : 2012-07-15 09:57:51
Group : Unspecified Source RPM : Agda-2.3.0.1-1.fc16.src.rpm
Size : 0.01 MB
Packager : Fedora Project
Summary : Dependently typed programming language command-line
Description :
This package provides a command-line program for type-checking and
compiling Agda programs. The program can also generate hyperlinked,
highlighted HTML files from Agda sources.

For the interactive environment please install emacs-agda instead.

RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/16/x86_64

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  Agda-2.3.0.1-1.fc16.x86_64.rpm
     

Provides :
Agda
Agda(x86-64)

Requires :
libHSbinary-0.5.0.2-ghc7.0.4.so()(64bit)
libHSrandom-1.0.0.3-ghc7.0.4.so()(64bit)
libHShashable-1.1.2.1-ghc7.0.4.so()(64bit)
ghc(mtl-2.0.1.0) = 5b7a9cce5565d8cc8721ba4f95becf1b
libHSterminfo-0.3.1.3-ghc7.0.4.so()(64bit)
libHSmtl-2.0.1.0-ghc7.0.4.so()(64bit)
ghc(old-locale-1.0.0.2) = 161f79060c89cc16ca11576ceb440486
ghc(pretty-1.0.1.2) = f8dc299a95cc94a3e513e27c5b80f951
ghc(unix-2.4.2.0) = 58b1a2dba5afd4464c2e3918310189ff
libHSutf8-string-0.3.6-ghc7.0.4.so()(64bit)
ghc(xhtml-3000.2.0.1) = fa3c2d95250480afb9bfb787b25e7398
rtld(GNU_HASH)
ghc(hashtables-1.0.1.2) = 6548bd2d34e85e3a17e059f353bf171c
libHSdirectory-1.1.0.0-ghc7.0.4.so()(64bit)
libHShaskeline-0.6.4.0-ghc7.0.4.so()(64bit)
libHSAgda-2.3.0.1-ghc7.0.4.so()(64bit)
ghc(terminfo-0.3.1.3) = d898a3b030f2d808d2a44c5ff0e2a0e1
ghc(process-1.0.1.5) = da4848a2eec47420cd09fe9edba7e83c
ghc(vector-0.7.1) = 8801549ab29457801fbe1eca2f7ad3c5
libHSQuickCheck-2.4.0.1-ghc7.0.4.so()(64bit)
ghc(old-time-1.0.0.6) = 7f15fd4b960098b2776b8c05bc17519f
libHScpphs-1.12-ghc7.0.4.so()(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libutil.so.1()(64bit)
ghc(text-0.11.0.6) = 139d7472dd2398472c7d962de013c741
libHShaskell-src-exts-1.11.1-ghc7.0.4.so()(64bit)
ghc(transformers-0.2.2.0) = 4bbbfde1fb5c4eb17cdb1963dda698f3
libHStime-1.2.0.3-ghc7.0.4.so()(64bit)
libHSold-time-1.0.0.6-ghc7.0.4.so()(64bit)
ghc(ghc-prim-0.2.0.0) = d9df11f804556f362beb0ea4e67261ba
ghc(utf8-string-0.3.6) = 48af7e77f29b232f389e99d0a9a1d604
libHSinteger-gmp-0.2.0.3-ghc7.0.4.so()(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
libHScontainers-0.4.0.0-ghc7.0.4.so()(64bit)
libHSprocess-1.0.1.5-ghc7.0.4.so()(64bit)
ghc(hashable-1.1.2.1) = e95e13c1445cd741ea8b74a131dbe54f
libHStransformers-0.2.2.0-ghc7.0.4.so()(64bit)
ghc(integer-gmp-0.2.0.3) = 298c59ba68b7aaa7e76ae5b1fe5e876e
libffi.so.5()(64bit)
libHStext-0.11.0.6-ghc7.0.4.so()(64bit)
libncursesw.so.5()(64bit)
ghc(zlib-0.5.3.1) = 7e19941cbd00147a79723e25160ffc8b
libc.so.6()(64bit)
ghc(base-4.3.1.0) = d2298ea3d0e16f270dfe58dfbda12bff
libHSold-locale-1.0.0.2-ghc7.0.4.so()(64bit)
libHSvector-0.7.1-ghc7.0.4.so()(64bit)
ghc(haskell-src-exts-1.11.1) = cbe801eee79fccd14c91762980ece289
ghc(random-1.0.0.3) = 7511feaba03eecc22356464da8976c7e
ghc(haskeline-0.6.4.0) = ea83f091fcdad61446c62afc5c94a9ed
libHSextensible-exceptions-0.1.1.2-ghc7.0.4.so()(64bit)
librt.so.1()(64bit)
ghc(bytestring-0.9.1.10) = 6aa1efbfa95d1689fc03d61e7c4b27c4
libHStemplate-haskell-2.5.0.0-ghc7.0.4.so()(64bit)
libHSbytestring-0.9.1.10-ghc7.0.4.so()(64bit)
ghc(directory-1.1.0.0) = 393d8e95f1c0dd6ee908e122f924ac85
rpmlib(PayloadIsXz) <= 5.2-1
ghc(filepath-1.2.0.0) = b4f4cf7e95546b00f075372f0ccb0653
libdl.so.2()(64bit)
libHSzlib-0.5.3.1-ghc7.0.4.so()(64bit)
ghc(Agda-2.3.0.1) = a6e072cfab0770cfc1719869f02bbd0d
libHSdeepseq-1.1.0.2-ghc7.0.4.so()(64bit)
libHSunix-2.4.2.0-ghc7.0.4.so()(64bit)
ghc(binary-0.5.0.2) = b471fd4ae9e6a992eed4cf652dba019b
ghc(cpphs-1.12) = 1b8b84c064a690ef26c4b3b1ab392875
libHSxhtml-3000.2.0.1-ghc7.0.4.so()(64bit)
ghc(time-1.2.0.3) = 3493203919ef238f1a58223fa55b1ceb
ghc(syb-0.3) = 00d8c06f799942b01364e795b2a54d70
libHShashtables-1.0.1.2-ghc7.0.4.so()(64bit)
ghc(extensible-exceptions-0.1.1.2) = d8c5b906654260efd7249f497d17a831
libgmp.so.3()(64bit)
ghc(QuickCheck-2.4.0.1) = 28feda47aef12e308cecb07fc0f47d8b
libtinfo.so.5()(64bit)
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
libHSarray-0.3.0.2-ghc7.0.4.so()(64bit)
libpthread.so.0()(64bit)
libHSsyb-0.3-ghc7.0.4.so()(64bit)
ghc(primitive-0.3.1) = c9e4468cc744c0e030467f8c31383955
ghc(template-haskell-2.5.0.0) = 957162165c2e6480a35f6d14f7e5220f
libHSpretty-1.0.1.2-ghc7.0.4.so()(64bit)
libHSfilepath-1.2.0.0-ghc7.0.4.so()(64bit)
libHSghc-prim-0.2.0.0-ghc7.0.4.so()(64bit)
libHSprimitive-0.3.1-ghc7.0.4.so()(64bit)
libm.so.6()(64bit)
ghc(array-0.3.0.2) = 143060371bda4ff52c270d1067551fe8
ghc(containers-0.4.0.0) = b4885363abca642443ccd842502a3b7e
libHSrts-ghc7.0.4.so()(64bit)
ghc(deepseq-1.1.0.2) = 0465f803f7d27d264907e7e03e72a71f
libz.so.1()(64bit)
libHSbase-4.3.1.0-ghc7.0.4.so()(64bit)


Content of RPM :
/usr/bin/agda
/usr/share/doc/Agda-2.3.0.1
/usr/share/doc/Agda-2.3.0.1/LICENSE

  
ICM