projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 21260f9) | patch
sci-mathematics/agda: allow edisoncore-1.3.2
authorSergei Trofimovich <slyfox@gentoo.org>
Mon, 23 Dec 2019 22:56:44 +0000 (22:56 +0000)
committerSergei Trofimovich <slyfox@gentoo.org>
Mon, 23 Dec 2019 22:59:12 +0000 (22:59 +0000)
commit861844514f824a9220319ba16520dc9654bd7af3
tree89ad6caae23b2d69d600d27cfb50839191bd49e2tree | snapshot
parent21260f998f3dcb336030308ec8d7237f0f8cce60commit | diff
sci-mathematics/agda: allow edisoncore-1.3.2

Reported-by: Toralf Förster
Closes: https://bugs.gentoo.org/703418
Package-Manager: Portage-2.3.82, Repoman-2.3.20
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
sci-mathematics/agda/agda-2.5.2-r2.ebuild [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.