[gentoo-commits] gentoo-x86 commit in sci-mathematics/agda/files: agda-2.3.0.1-emacs.patch agda-2.3.0.1-haskell-src-exts-1.13.patch agda-2.3.0.1-quickcheck-2.5.patch agda-2.3.0.1-mtl-2.1.patch agda-2.3.0-emacs.patch

[Mark Wright (gienah)]

gienah      15/01/29 04:15:39

  Removed:              agda-2.3.0.1-emacs.patch
                        agda-2.3.0.1-haskell-src-exts-1.13.patch
                        agda-2.3.0.1-quickcheck-2.5.patch
                        agda-2.3.0.1-mtl-2.1.patch agda-2.3.0-emacs.patch
  Log:
  Drop old patches
  
  (Portage version: 2.2.15/cvs/Linux x86_64, signed Manifest commit with key 
618E971F)