Changelog for
Agda-2.4.2.2-5.fc23.i686.rpm :
Wed Jul 22 14:00:00 2015 Jens Petersen
- 2.4.2.2-5
- drop emacs subpackages (#1234569)
Tue Jun 16 14:00:00 2015 Fedora Release Engineering - 2.4.2.2-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
Fri Apr 17 14:00:00 2015 Jens Petersen - 2.4.2.2-3
- move agda from ghc-Agda-devel to ghc-Agda
Thu Apr 16 14:00:00 2015 Jens Petersen - 2.4.2.2-2
- compile Primitive.agda at install time
Fri Apr 3 14:00:00 2015 Jens Petersen - 2.4.2.2-1
- update to 2.4.2.2
Fri Feb 6 13:00:00 2015 Jens Petersen - 2.4.2-1
- update to 2.4.2
- needs new deps: STMonadTrans, boxes, data-hash, equivalence,
and QuickCheck 2.7.5+
- cblrpm refresh
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
