pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

agrep zftp ikiwiki-mass-rebuild lcg-rep libbluray_test nfexpire arcmkdir mkntfs ypatchy-g77 pcl_plane_projection hadd sdcc-sdastlcs90 allec ovf2ovp voms-proxy-fake batmand bp_translate_seq bossac v.net aoslsi mx-run lxc-test-clonetest ns3.17-bench-packets openntpd ppp-gatekeeper cdvdcontrol sb_bnserver swac-get tos-storage-at45db niftidump

© loginroot.com, 2016