You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
gentoo-overlay/sci-mathematics/agda/files
root 8694bbb6cc
Sync with portage [Mon Apr 4 08:57:36 MSK 2016].
9 years ago
..
50agda2-gentoo.el
agda-2.4.2.5-hashtables.patch