diff options
| author |   Julian Ospald <hasufell@gentoo.org> | 2014-11-25 23:09:32 +0000 |
|---|---|---|
| committer | Julian Ospald <hasufell@gentoo.org> | 2014-11-25 23:09:32 +0000 |
| commit | 701b04ea657949ed73ba317aa8612b8783da04fc (patch) | |
| tree | cccd621cd510ccd7a96e6fb3238ab4f96a077379 /sci-mathematics/agda | |
| parent | drop maintainership (diff) | |
| download | gentoo-2-701b04ea657949ed73ba317aa8612b8783da04fc.tar.gz gentoo-2-701b04ea657949ed73ba317aa8612b8783da04fc.tar.bz2 gentoo-2-701b04ea657949ed73ba317aa8612b8783da04fc.zip | |
drop maintainership
(Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key BDEED020)
Diffstat (limited to 'sci-mathematics/agda')
0 files changed, 0 insertions, 0 deletions