diff options
| author |   Sergei Trofimovich <slyfox@gentoo.org> | 2016-04-03 15:38:23 +0100 |
|---|---|---|
| committer | Sergei Trofimovich <slyfox@gentoo.org> | 2016-04-03 15:39:25 +0100 |
| commit | 669e602164fff463c1e6f6119f4b2a1b1481160c (patch) | |
| tree | 8d6b1959b0c6b645fc84f6329e76404515ceac3d /app-pda | |
| parent | sci-mathematics/agda: drop unused local USE-description: 'epic' (diff) | |
| download | gentoo-669e602164fff463c1e6f6119f4b2a1b1481160c.tar.gz gentoo-669e602164fff463c1e6f6119f4b2a1b1481160c.tar.bz2 gentoo-669e602164fff463c1e6f6119f4b2a1b1481160c.zip | |
sci-mathematics/agda-stdlib: drop old
Package-Manager: portage-2.2.28
Diffstat (limited to 'app-pda')
0 files changed, 0 insertions, 0 deletions