SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ghc-Agda-devel rpm build for : Fedora 25. For other distributions click ghc-Agda-devel.

Name : ghc-Agda-devel
Version : 2.4.2.5 Vendor : Fedora Project
Release : 1.fc25 Date : 2016-10-07 10:16:48
Group : Unspecified Source RPM : Agda-2.4.2.5-1.fc25.src.rpm
Size : 128.28 MB
Packager : Fedora Project
Summary : Haskell Agda library development files
Description :
This package provides the Haskell Agda library development files.

RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/25/Everything/i386/os/Packages/g

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ghc-Agda-devel-2.4.2.5-1.fc25.i686.rpm
     Search for other platforms
ghc-Agda-devel-2.4.2.5-1.fc25.sparc.rpm
ghc-Agda-devel-2.4.2.5-1.fc25.alpha.rpm
ghc-Agda-devel-2.4.2.5-1.fc25.ppc.rpm
ghc-Agda-devel-2.4.2.5-1.fc25.ia64.rpm
ghc-Agda-devel-2.4.2.5-1.fc25.s390.rpm

Provides :
ghc-Agda-devel
ghc-Agda-devel(x86-32)
ghc-Agda-static
ghc-devel(Agda-2.4.2.5-f4c60144a95fb47d4a62514cbdd366de)

Requires :
/bin/sh
/bin/sh
ghc-Agda(x86-32) = 2.4.2.5-1.fc25
ghc-compiler = 7.10.3
ghc-compiler = 7.10.3
ghc-compiler = 7.10.3
ghc-devel(QuickCheck-2.8.2-038b596b6ee602e7e0d442e0a6da85cf)
ghc-devel(array-0.5.1.0-98220802c10d9d803be36e35c603d572)
ghc-devel(base-4.8.2.0-a3ce8575fb7e5b352e3a0df9b7b44e44)
ghc-devel(binary-0.7.5.0-bc6f4aef5789108da0cbed02550fc277)
ghc-devel(boxes-0.1.4-5660e041339c128f6c01980396fca8c0)
ghc-devel(bytestring-0.10.6.0-6b1a160854b49c3effdb944774929b48)
ghc-devel(containers-0.5.6.2-359bd901524a2cbb1cea49ef88604a37)
ghc-devel(data-hash-0.2.0.1-c3b345c86a6a3858b446dc7ea7c05e65)
ghc-devel(deepseq-1.4.1.1-d8d3cda9ca91dc984439215591b154d0)
ghc-devel(directory-1.2.2.0-f146ed8e9317a8ad909cb224e5764d68)
ghc-devel(edit-distance-0.2.2.1-9d3891bf039e76d5754b7861295dabda)
ghc-devel(equivalence-0.3.1-2d722ecc285e8fc9fddc80240fab94fa)
ghc-devel(filepath-1.4.0.0-59267d26bde9029c896503f5d82794cc)
ghc-devel(geniplate-mirror-0.7.4-6555047858fa7b2cbeabb4e202181e80)
ghc-devel(hashable-1.2.4.0-bda61db1ea747cfdfb86ba18fc3281e3)
ghc-devel(hashtables-1.2.1.0-b9a7a80b70cc778b16d1624f271482ed)
ghc-devel(haskeline-0.7.2.1-7776d7bbb3d9882172f76eb6ca8d4b39)
ghc-devel(haskell-src-exts-1.16.0.1-e06a7f53acc25e9be36f07053e734abd)
ghc-devel(mtl-2.2.1-05005bb32df8fbad260aa2bc8c4b64aa)
ghc-devel(parallel-3.2.1.0-c388ad5b393dcf0a0e81f699ccc9ba8a)
ghc-devel(pretty-1.1.2.0-05f1bf2d77845aeee85db3b0e77a833b)
ghc-devel(process-1.2.3.0-aca7499639aee21f99aaa13b3dccb97a)
ghc-devel(strict-0.3.2-063bbaa9d3ae68adfff72163bf15abb2)
ghc-devel(template-haskell-2.10.0.0-519a3df6ca75400791d9a21bab268b67)
ghc-devel(text-1.2.2.1-fde503e985a3450933d088e8edbe6ffa)
ghc-devel(time-1.5.0.1-62b7c3c494b5db57821063fdc9977579)
ghc-devel(transformers-0.4.2.0-a5bbd954d1c2451a9da96a3615054cc0)
ghc-devel(transformers-compat-0.4.0.4-8aa4073730c676dbe210ea8bffd8d092)
ghc-devel(unordered-containers-0.2.7.1-17d63783c3178ecd9371923b48266a1a)
ghc-devel(xhtml-3000.2.1-7f8e2763621190e01e6fe1c350bff358)
ghc-devel(zlib-0.6.1.1-839d584843e8c4bb771700f76bb6369d)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1


Content of RPM :
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda/Auto
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda/Auto/Auto.dyn_hi
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda/Auto/Auto.hi
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda/Auto/Auto.p_hi
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda/Auto/CaseSplit.dyn_hi
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda/Auto/CaseSplit.hi
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda/Auto/CaseSplit.p_hi
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda/Auto/Convert.dyn_hi
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda/Auto/Convert.hi
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda/Auto/Convert.p_hi
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda/Auto/NarrowingSearch.dyn_hi
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda/Auto/NarrowingSearch.hi
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda/Auto/NarrowingSearch.p_hi
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda/Auto/SearchControl.dyn_hi
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda/Auto/SearchControl.hi
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda/Auto/SearchControl.p_hi
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda/Auto/Syntax.dyn_hi
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda/Auto/Syntax.hi
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda/Auto/Syntax.p_hi
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda/Auto/Typecheck.dyn_hi
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda/Auto/Typecheck.hi
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda/Auto/Typecheck.p_hi
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda/Benchmarking.dyn_hi
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda/Benchmarking.hi
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda/Benchmarking.p_hi
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda/Compiler
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda/Compiler/CallCompiler.dyn_hi
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda/Compiler/CallCompiler.hi
/usr/lib/ghc-7.10.3/Agda_Inys1Zrl83YKq4l2eRqqZo/Agda/Compiler/CallCompiler.p_hi
There is 811 files more in these RPM.

  
ICM