From: | "Sergei Trofimovich (slyfox)" <slyfox@g.o> |
---|---|
To: | gentoo-commits@l.g.o |
Subject: | [gentoo-commits] gentoo-x86 commit in sci-mathematics/agda/files: agda-1.0.2-upstream-fixes.patch agda-2.2.6-emacs.patch 50agda-gentoo.el |
Date: | Tue, 25 Feb 2014 15:41:06 |
Message-Id: | 20140225154058.A2B572004E@flycatcher.gentoo.org |