pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
base64
ia64-linux-gnu-gcc
glite-lb-purge
kwin_killer_helper
lcg-getturls
mysqlauditadmin
papi_clockres
ptksh
texture-rg
d3.x_openmpi
x2gofeature
arm-linux-gnueabihf-ar
ceph_test_objectcacher_stress
gap
arm-none-eabi-g++
gnome-activity-journal
xpidllex.py
krdc_rfb_approver
getpdftext
gmod_bulk_load_gff3.pl
magicfilterconfig
midi2mg
mono-boehm
cobc
jhat
pegasus-analyzer
process_wait
setuid
undertaker-busybox-tree
vbmakeglm