Binary: agda

autoupdate-2.13 microblaze-linux-gnu-ld.bfd fence_ilo_ssh man4x gnomine svnlastchange lessecho nytidy-gfortran dmxrminput db2index runantlr arm-linux-gnueabihf-c++filt strip couriermlm zone_tool~rvim fai-debconf ucdtooff gforth-itc-0.7.2 haddock-ghc-7.6.3 vig_optimize nm_agent bugpoint med-psychology dbsessmgr2 tfrt ttf2pk tomoyo-selectpolicy uaputl vemerge zivot