SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 
Changelog for emacs-agda-el-2.3.2.2-5.el7.x86_64.rpm :
Fri Aug 15 14:00:00 2014 Fedora Release Engineering - 2.3.2.2-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild

Fri Jun 6 14:00:00 2014 Fedora Release Engineering - 2.3.2.2-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild

Tue Apr 22 14:00:00 2014 Jens Petersen - 2.3.2.2-3
- no _pkgdocdir in EL7

Wed Jan 22 13:00:00 2014 Jens Petersen - 2.3.2.2-2
- exclude secondary arch\'s without template-haskell (#1038068)

Thu Oct 31 13:00:00 2013 Jens Petersen - 2.3.2.2-1
- update to 2.3.2.2

Mon Sep 2 14:00:00 2013 Jens Petersen - 2.3.2.1-5
- drop defattr\'s

Thu Aug 29 14:00:00 2013 Jens Petersen - 2.3.2.1-4
- emacs agda-mode no longer depends on haskell-mode since 2.3.2

Thu Aug 29 14:00:00 2013 Jens Petersen - 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 14:00:00 2013 Jens Petersen
- replace ghc_docdir by _pkgdocdir

Fri Aug 2 14:00:00 2013 Fedora Release Engineering - 2.3.2.1-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild

Fri Jul 26 14:00:00 2013 Jens Petersen
- use ghc_docdir

Tue Jun 11 14:00:00 2013 Jens Petersen - 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 14:00:00 2013 Jens Petersen
- update to new simplified Haskell Packaging Guidelines

Mon Mar 25 13:00:00 2013 Jens Petersen - 2.3.0.1-12
- rebuild

Tue Mar 19 13:00:00 2013 Jens Petersen - 2.3.0.1-11
- allow haskeline-0.7

Wed Feb 13 13:00:00 2013 Fedora Release Engineering - 2.3.0.1-10
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild

Wed Dec 12 13:00:00 2012 Jens Petersen - 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 13:00:00 2012 Jens Petersen - 2.3.0.1-8
- build with QuickCheck 2.5

Thu Jul 19 14:00:00 2012 Fedora Release Engineering - 2.3.0.1-7
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild

Mon Jul 16 14:00:00 2012 Jens Petersen - 2.3.0.1-6
- change prof BRs to devel

Wed Jul 11 14:00:00 2012 Jens Petersen - 2.3.0.1-5
- fix agda2-version in agda2-mode.el

Thu Jun 21 14:00:00 2012 Jens Petersen - 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 14:00:00 2012 Jens Petersen - 2.3.0.1-3
- allow building with mtl-2.1

Thu May 31 14:00:00 2012 Jens Petersen - 2.3.0.1-2
- library license is also BSD (#710031)
- move release notes to devel subpackage

Tue Apr 10 14:00:00 2012 Jens Petersen - 2.3.0.1-1
- update to 2.3.0.1 for ghc-7.4.1

Tue Feb 14 13:00:00 2012 Jens Petersen - 2.3.0-1
- update to 2.3.0
- update to cabal2spec-0.25
- new depends on hashtables

Fri Jun 3 14:00:00 2011 Jens Petersen - 2.2.10-2
- also BR alex, happy, and emacs-haskell-mode

Thu Jun 2 14:00:00 2011 Jens Petersen - 2.2.10-1
- MIT license
- add deps and description
- emacs mode subpackages

Thu Jun 2 14:00:00 2011 Fedora Haskell SIG - 2.2.10-0
- initial packaging for Fedora automatically generated by cabal2spec-0.23


  
ICM