projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 28d6437) | patch
sci-mathematics/agda: allow multiple revisions of agda-stdlib
authorSergei Trofimovich <slyfox@gentoo.org>
Tue, 24 Dec 2019 11:06:26 +0000 (11:06 +0000)
committerSergei Trofimovich <slyfox@gentoo.org>
Tue, 24 Dec 2019 11:06:26 +0000 (11:06 +0000)
commit6e983fec6727b4776eb34d2aaf01b73f486bb163
tree311174a044ba2e9e982e395bf661df2cf5a03c58tree | snapshot
parent28d6437fc7009002f98f28e8900e994109927726commit | diff
sci-mathematics/agda: allow multiple revisions of agda-stdlib

Package-Manager: Portage-2.3.83, Repoman-2.3.20
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
sci-mathematics/agda/agda-2.4.2.5-r2.ebuild diff | blob | history
sci-mathematics/agda/agda-2.5.2-r1.ebuild diff | blob | history
sci-mathematics/agda/agda-2.5.2-r2.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.