Index of Agda

NameLast modifiedSizeDescription
[PARENTDIR]
Parent Directory		  -  
[ ]
agda-bin_2.3.2.2-1_amd64.deb		12 years ago5.2M 
[ ]
agda-bin_2.3.2.2-1_i386.deb		12 years ago4.9M 
[ ]
agda-bin_2.4.2.5-1build1_amd64.deb		9 years ago4.6M 
[ ]
agda-bin_2.4.2.5-1build1_i386.deb		9 years ago4.6M 
[ ]
agda-bin_2.5.3-3build1_amd64.deb		7 years ago5.5M 
[ ]
agda-bin_2.5.3-3build1_i386.deb		7 years ago5.5M 
[ ]
agda-bin_2.6.0.1-1build4_amd64.deb		5 years ago6.3M 
[ ]
agda-bin_2.6.1-1build2.1_amd64.deb		4 years ago9.1M 
[ ]
agda-bin_2.6.3-1build1_amd64.deb		2 years ago 10M 
[ ]
agda-bin_2.6.3-2_amd64.deb		8 months ago 10M 
[ ]
agda-bin_2.6.4.3-1_amd64.deb		7 months ago 10M 
[ ]
agda-mode_2.3.2.2-1_all.deb		12 years ago 47K 
[ ]
agda-mode_2.4.2.5-1build1_all.deb		9 years ago 36K 
[ ]
agda-mode_2.5.3-3build1_all.deb		7 years ago3.5K 
[ ]
agda-mode_2.6.0.1-1build4_all.deb		5 years ago3.6K 
[ ]
agda_2.3.2.2-1_all.deb		12 years ago2.9K 
[ ]
agda_2.4.2.5-1build1_all.deb		9 years ago2.9K 
[ ]
agda_2.5.3-3build1_all.deb		7 years ago3.0K 
[ ]
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.3-1build1_all.deb		2 years ago3.7K 
[ ]
agda_2.6.3-2_all.deb		8 months ago3.6K 
[ ]
agda_2.6.4.3-1_all.deb		7 months ago3.6K 
[ ]
elpa-agda2-mode_2.5.3-3build1_all.deb		7 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		8 months ago 45K 
[ ]
elpa-agda2-mode_2.6.4.3-1_all.deb		7 months ago 45K 
[ ]
libghc-agda-dev_2.3.2.2-1_amd64.deb		12 years ago 13M 
[ ]
libghc-agda-dev_2.3.2.2-1_i386.deb		12 years ago 12M 
[ ]
libghc-agda-dev_2.4.2.5-1build1_amd64.deb		9 years ago 10M 
[ ]
libghc-agda-dev_2.4.2.5-1build1_i386.deb		9 years ago 10M 
[ ]
libghc-agda-dev_2.5.3-3build1_amd64.deb		7 years ago 15M 
[ ]
libghc-agda-dev_2.5.3-3build1_i386.deb		7 years ago 15M 
[ ]
libghc-agda-dev_2.6.0.1-1build4_amd64.deb		5 years ago 19M 
[ ]
libghc-agda-dev_2.6.1-1build2.1_amd64.deb		4 years ago 38M 
[ ]
libghc-agda-dev_2.6.3-1build1_amd64.deb		2 years ago 24M 
[ ]
libghc-agda-dev_2.6.3-2_amd64.deb		8 months ago 24M 
[ ]
libghc-agda-dev_2.6.4.3-1_amd64.deb		7 months ago 23M 
[ ]
libghc-agda-doc_2.3.2.2-1_all.deb		12 years ago2.1M 
[ ]
libghc-agda-doc_2.4.2.5-1build1_all.deb		9 years ago2.1M 
[ ]
libghc-agda-doc_2.5.3-3build1_all.deb		7 years ago2.6M 
[ ]
libghc-agda-doc_2.6.0.1-1build4_all.deb		5 years ago4.0M 
[ ]
libghc-agda-doc_2.6.1-1build2.1_all.deb		4 years ago5.2M 
[ ]
libghc-agda-doc_2.6.3-1build1_all.deb		2 years ago6.0M 
[ ]
libghc-agda-doc_2.6.3-2_all.deb		8 months ago5.9M 
[ ]
libghc-agda-doc_2.6.4.3-1_all.deb		7 months ago6.4M