pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
as
euscale-describe-auto-scaling-notification-types
g_trjorder
kdig
ldns-nsec3-hash
iso-info
truescale-serdes.cmds
openuniverse
wbemec
sdcc-sdld
readom
vhd-update
git-cache-proxy
epiunwarp
bookinfo
ppumove-2.6.4
gmtlogo
hime-tsa2d32
hubicfuse
jh_repack
mk_modmap
idevicebackup2
run.pl
loweb
redund
list_members
flash_erase
whups-convert-datatree-shares-to-sql
drawtree
touchpad_test