[gentoo-commits] gentoo-x86 commit in sci-mathematics/agda/files: agda-2.3.2-hashable-1.2.patch agda-2.3.2.1-haskell-src-exts-1.14.patch

[Sergei Trofimovich (slyfox)]

slyfox      15/08/02 10:52:08

  Removed:              agda-2.3.2-hashable-1.2.patch
                        agda-2.3.2.1-haskell-src-exts-1.14.patch
  Log:
  Drop old.
  
  (Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit with key 
611FF3AA)