pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
chicken-status
ewfacquire
gxint-g77
gmtinfo
httxt2dbm
akonadi_birthdays_resource
latex2emf
partprobe
convertquota
rmap
platex
ttembed
yamcfg
exfalso
hsqueeze
precord.o
groovysh
Herwig++
PTBatcherGUI
ifplugstatus
youtube-download
llvm-size-3.4
Microsoft.Build.xsd
gen_unit_warp
t1c2pfb
tiger-hash
generate_pbs_nodefile
runvdr
imrot
xfce4-sensors