calculate
/
gentoo-overlay
6
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
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.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '2a31e7df0e'
${ noResults }
gentoo-overlay/sci-mathematics/agda
History
root 3f4718f30c
Sync with portage [Tue Feb 9 11:29:40 MSK 2016]. 		8 years ago
..
files Sync with portage [Tue Feb 9 11:29:40 MSK 2016]. 8 years ago
ChangeLog-2015 Sync with portage [Tue Nov 10 17:56:16 MSK 2015]. 9 years ago
Manifest Sync with portage [Thu Jan 14 09:16:43 MSK 2016]. 8 years ago
agda-2.4.0.1.ebuild Sync with portage [Mon Aug 10 23:59:37 MSK 2015]. 9 years ago
agda-2.4.2.2-r1.ebuild Sync with portage [Mon Aug 10 23:59:37 MSK 2015]. 9 years ago
agda-2.4.2.3-r1.ebuild Sync with portage [Mon Aug 10 23:59:37 MSK 2015]. 9 years ago
agda-2.4.2.3-r2.ebuild Sync with portage [Sun Sep 27 22:12:52 MSK 2015]. 9 years ago
agda-2.4.2.3-r3.ebuild Sync with portage [Wed Jan 13 16:24:54 MSK 2016]. 8 years ago
agda-2.4.2.5-r1.ebuild Sync with portage [Tue Feb 9 11:29:40 MSK 2016]. 8 years ago
agda-2.4.2.5.ebuild Sync with portage [Thu Jan 14 09:16:43 MSK 2016]. 8 years ago
metadata.xml Sync with portage [Mon Jan 25 16:13:37 MSK 2016]. 8 years ago