Index of agda

[ICO]
Name		Last modifiedSizeDescription
[PARENTDIR]
Parent Directory		  -  
[ ]
agda_2.4.2.5-1build1_all.deb		9 years ago2.9K 
[ ]
agda_2.3.2.2-1_all.deb		12 years ago2.9K 
[ ]
agda_2.5.3-3build1_all.deb		8 years ago3.0K 
[ ]
agda_2.3.2.2-1.dsc		12 years ago3.2K 
[ ]
agda-mode_2.5.3-3build1_all.deb		8 years ago3.5K 
[ ]
agda-mode_2.6.0.1-1build4_all.deb		5 years ago3.6K 
[ ]
agda_2.6.3-2_all.deb		9 months ago3.6K 
[ ]
agda_2.6.4.3-1_all.deb		8 months ago3.6K 
[ ]
agda_2.6.3-1build1_all.deb		2 years ago3.7K 
[ ]
agda_2.4.2.5-1build1.dsc		9 years ago3.7K 
[ ]
agda_2.6.0.1-1build4_all.deb		5 years ago4.0K 
[ ]
agda_2.6.1-1build2.1_all.deb		4 years ago4.0K 
[ ]
agda_2.6.0.1-1build4.dsc		5 years ago4.2K 
[ ]
agda_2.6.1-1build2.1.dsc		4 years ago4.2K 
[ ]
agda_2.5.3-3build1.dsc		8 years ago4.5K 
[ ]
agda_2.6.3-1build1.dsc		2 years ago4.8K 
[ ]
agda_2.6.3-2.dsc		9 months ago4.8K 
[ ]
agda_2.6.4.3-1.dsc		8 months ago5.1K 
[ ]
agda_2.3.2.2-1.debian.tar.gz		12 years ago7.2KGZIP compressed TAR archive
[ ]
agda_2.4.2.5-1build1.debian.tar.xz		9 years ago7.7KTAR compressed archive
[ ]
agda_2.5.3-3build1.debian.tar.xz		8 years ago9.6KTAR compressed archive
[ ]
agda_2.6.0.1-1build4.debian.tar.xz		5 years ago 10KTAR compressed archive
[ ]
agda_2.6.1-1build2.1.debian.tar.xz		4 years ago 10KTAR compressed archive
[ ]
agda_2.6.4.3-1.debian.tar.xz		8 months ago 10KTAR compressed archive
[ ]
agda_2.6.3-1build1.debian.tar.xz		2 years ago 11KTAR compressed archive
[ ]
agda_2.6.3-2.debian.tar.xz		9 months ago 11KTAR compressed archive
[ ]
agda-mode_2.4.2.5-1build1_all.deb		9 years ago 36K 
[ ]
elpa-agda2-mode_2.5.3-3build1_all.deb		8 years ago 40K 
[ ]
elpa-agda2-mode_2.6.0.1-1build4_all.deb		5 years ago 40K 
[ ]
elpa-agda2-mode_2.6.1-1build2.1_all.deb		4 years ago 45K 
[ ]
elpa-agda2-mode_2.6.3-1build1_all.deb		2 years ago 45K 
[ ]
elpa-agda2-mode_2.6.3-2_all.deb		9 months ago 45K 
[ ]
elpa-agda2-mode_2.6.4.3-1_all.deb		8 months ago 45K 
[ ]
agda-mode_2.3.2.2-1_all.deb		12 years ago 47K 
[ ]
agda_2.4.2.5.orig.tar.gz		9 years ago1.0MGZIP compressed TAR archive
[ ]
agda_2.5.3.orig.tar.gz		8 years ago1.1MGZIP compressed TAR archive
[ ]
agda_2.6.3.orig.tar.gz		2 years ago1.7MGZIP compressed TAR archive
[ ]
agda_2.6.4.3.orig.tar.gz		8 months ago1.8MGZIP compressed TAR archive
[ ]
agda_2.3.2.2.orig.tar.gz		12 years ago1.9MGZIP compressed TAR archive
[ ]
libghc-agda-doc_2.4.2.5-1build1_all.deb		9 years ago2.1M 
[ ]
libghc-agda-doc_2.3.2.2-1_all.deb		12 years ago2.1M 
[ ]
agda_2.6.0.1.orig.tar.gz		6 years ago2.3MGZIP compressed TAR archive
[ ]
agda_2.6.1.orig.tar.gz		5 years ago2.5MGZIP compressed TAR archive
[ ]
libghc-agda-doc_2.5.3-3build1_all.deb		8 years ago2.6M 
[ ]
libghc-agda-doc_2.6.0.1-1build4_all.deb		5 years ago4.0M 
[ ]
agda-bin_2.4.2.5-1build1_i386.deb		9 years ago4.6M 
[ ]
agda-bin_2.4.2.5-1build1_amd64.deb		9 years ago4.6M 
[ ]
agda-bin_2.3.2.2-1_i386.deb		12 years ago4.9M 
[ ]
libghc-agda-doc_2.6.1-1build2.1_all.deb		4 years ago5.2M 
[ ]
agda-bin_2.3.2.2-1_amd64.deb		12 years ago5.2M 
[ ]
agda-bin_2.5.3-3build1_amd64.deb		8 years ago5.5M 
[ ]
agda-bin_2.5.3-3build1_i386.deb		8 years ago5.5M 
[ ]
libghc-agda-doc_2.6.3-2_all.deb		9 months ago5.9M 
[ ]
libghc-agda-doc_2.6.3-1build1_all.deb		2 years ago6.0M 
[ ]
agda-bin_2.6.0.1-1build4_amd64.deb		5 years ago6.3M 
[ ]
libghc-agda-doc_2.6.4.3-1_all.deb		8 months ago6.4M 
[ ]
agda-bin_2.6.1-1build2.1_amd64.deb		4 years ago9.1M 
[ ]
libghc-agda-dev_2.4.2.5-1build1_i386.deb		9 years ago 10M 
[ ]
agda-bin_2.6.4.3-1_amd64.deb		8 months ago 10M 
[ ]
libghc-agda-dev_2.4.2.5-1build1_amd64.deb		9 years ago 10M 
[ ]
agda-bin_2.6.3-2_amd64.deb		9 months ago 10M 
[ ]
agda-bin_2.6.3-1build1_amd64.deb		2 years ago 10M 
[ ]
libghc-agda-dev_2.3.2.2-1_i386.deb		12 years ago 12M 
[ ]
libghc-agda-dev_2.3.2.2-1_amd64.deb		12 years ago 13M 
[ ]
libghc-agda-dev_2.5.3-3build1_i386.deb		8 years ago 15M 
[ ]
libghc-agda-dev_2.5.3-3build1_amd64.deb		8 years ago 15M 
[ ]
libghc-agda-dev_2.6.0.1-1build4_amd64.deb		5 years ago 19M 
[ ]
libghc-agda-dev_2.6.4.3-1_amd64.deb		8 months ago 23M 
[ ]
libghc-agda-dev_2.6.3-2_amd64.deb		9 months ago 24M 
[ ]
libghc-agda-dev_2.6.3-1build1_amd64.deb		2 years ago 24M 
[ ]
libghc-agda-dev_2.6.1-1build2.1_amd64.deb		4 years ago 38M 

   

    Etc: Routinator