Fedora Packages

ghc-Agda-devel-2.3.2.2-5.el7 in EPEL 7

↵ Return to the main page of ghc-Agda-devel
View build
Search for updates

Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date Author Change
2014-08-15 Fedora Release Engineering <rel dash eng at lists dot fedoraproject dot org> - 2.3.2.2-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
2014-06-06 Fedora Release Engineering <rel dash eng at lists dot fedoraproject dot org> - 2.3.2.2-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
2014-04-22 Jens Petersen <petersen at redhat dot com> - 2.3.2.2-3 - no _pkgdocdir in EL7
2014-01-22 Jens Petersen <petersen at redhat dot com> - 2.3.2.2-2 - exclude secondary arch's without template-haskell (#1038068)
2013-10-31 Jens Petersen <petersen at redhat dot com> - 2.3.2.2-1 - update to 2.3.2.2
2013-09-02 Jens Petersen <petersen at redhat dot com> - 2.3.2.1-5 - drop defattr's
2013-08-29 Jens Petersen <petersen at redhat dot com> - 2.3.2.1-4 - emacs agda-mode no longer depends on haskell-mode since 2.3.2
2013-08-29 Jens Petersen <petersen at redhat dot com> - 2.3.2.1-3 - compile agda2-queue.el - check for new elisp files - exclude armv7hl since TemplateHaskell failing to compile (#991929)
2013-08-27 Jens Petersen <petersen at redhat dot com> - replace ghc_docdir by _pkgdocdir
2013-08-02 Fedora Release Engineering <rel dash eng at lists dot fedoraproject dot org> - 2.3.2.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild

Provides

  • ghc-Agda-devel
  • ghc-Agda-devel(x86-64)
  • ghc-Agda-static
  • ghc-devel(Agda-2.3.2.2-52a688c2ecc2e1800d6ecb31737ebc4a)

Files


Sources on Pagure