diff options
| author |   Kent Fredric <kentfredric@gmail.com> | 2016-05-07 00:09:41 +1200 |
|---|---|---|
| committer |   Andreas K. Hüttel <dilfridge@gentoo.org> | 2016-05-15 01:33:59 +0200 |
| commit | 1a59ea9277090ca5c947050b2d66a8c15496cc28 (patch) | |
| tree | 1027869c01903bb0d5e7de83cd19a683a29fd53b /sci-mathematics/agda | |
| parent | virtual/perl-Params-Check: Make Perl 5.24 a provider for 0.380.0 (diff) | |
| download | gentoo-1a59ea9277090ca5c947050b2d66a8c15496cc28.tar.gz gentoo-1a59ea9277090ca5c947050b2d66a8c15496cc28.tar.bz2 gentoo-1a59ea9277090ca5c947050b2d66a8c15496cc28.zip | |
virtual/perl-Pod-Escapes: Make Perl 5.24 a provider of 1.70.0
Package-Manager: portage-2.2.28
RepoMan-Options: --include-arches="alpha amd64 amd64-fbsd arm arm64 hppa ia64 m68k mips nios2 ppc ppc64 riscv s390 sh sparc sparc-fbsd x86 x86-fbsd"
Diffstat (limited to 'sci-mathematics/agda')
0 files changed, 0 insertions, 0 deletions