Sophie

• Search
• Distribution
• Explorer
• Source & Patches
• Chat
• Help
• About

distrib > Fedora > 20 > i386 > by-pkgid > efa06c8fc06b3157293d8bbf7aaf4314 > changelog

Agda-2.3.2.2-2.fc20.src.rpm

• Info
• Deps
• Files
• Scripts
• ChangeLog
• Location
• Others versions
• Analyse

• Wed Jan 22 2014 Jens Petersen <petersen@redhat.com> - 2.3.2.2-2

  - exclude secondary arch's without template-haskell (#1038068)

• Thu Oct 31 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.2-1

  - update to 2.3.2.2

• Mon Sep 2 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.1-5

  - drop defattr's

• Thu Aug 29 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.1-4

  - emacs agda-mode no longer depends on haskell-mode since 2.3.2

• Thu Aug 29 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.1-3

  - compile agda2-queue.el
  - check for new elisp files
  - exclude armv7hl since TemplateHaskell failing to compile (#991929)

• Tue Aug 27 2013 Jens Petersen <petersen@redhat.com>

  - replace ghc_docdir by _pkgdocdir

• Fri Aug 2 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.2.1-2

  - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild

• Fri Jul 26 2013 Jens Petersen <petersen@redhat.com>

  - use ghc_docdir

• Tue Jun 11 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.1-1

  - rename src package from ghc-Agda to Agda
  - update to 2.3.2.1
  http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-3-2
  http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-3-2-1
  - update to new simplified Haskell Packaging Guidelines
  - agda command-line tool in devel subpackage

• Fri Jun 7 2013 Jens Petersen <petersen@redhat.com>

  - update to new simplified Haskell Packaging Guidelines

• Mon Mar 25 2013 Jens Petersen <petersen@redhat.com> - 2.3.0.1-12

  - rebuild

• Tue Mar 19 2013 Jens Petersen <petersen@redhat.com> - 2.3.0.1-11

  - allow haskeline-0.7

• Wed Feb 13 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.0.1-10

  - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild

• Wed Dec 12 2012 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

• Fri Nov 9 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-8

  - build with QuickCheck 2.5

• Thu Jul 19 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.0.1-7

  - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild

• Mon Jul 16 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-6

  - change prof BRs to devel

• Wed Jul 11 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-5

  - fix agda2-version in agda2-mode.el

• Thu Jun 21 2012 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

• Mon Jun 11 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-3

  - allow building with mtl-2.1

• Thu May 31 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-2

  - library license is also BSD (#710031)
  - move release notes to devel subpackage

• Tue Apr 10 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-1

  - update to 2.3.0.1 for ghc-7.4.1

• Tue Feb 14 2012 Jens Petersen <petersen@redhat.com> - 2.3.0-1

  - update to 2.3.0
  - update to cabal2spec-0.25
  - new depends on hashtables

• Fri Jun 3 2011 Jens Petersen <petersen@redhat.com> - 2.2.10-2

  - also BR alex, happy, and emacs-haskell-mode

• Thu Jun 2 2011 Jens Petersen <petersen@redhat.com> - 2.2.10-1

  - MIT license
  - add deps and description
  - emacs mode subpackages

• Thu Jun 2 2011 Fedora Haskell SIG <haskell-devel@lists.fedoraproject.org> - 2.2.10-0

  - initial packaging for Fedora automatically generated by cabal2spec-0.23