pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
pdiff
crfreq
ecryptfs-manager
ikiwiki-comment
testregexp.rb
mcheck
pcl_obj_rec_ransac_model_opps
podgrep
glx-free-context
rpmsoname
zanata_language_list
akonadi_agent_launcher
cvm-qmail
dish
dl10n-txt
diameterc
v.distance
grub-editenv
jack_cpu
loweb
makedic
rawlog-grabber
mrtg-sensors
osgoit
osgoutline
pcl_offline_integration
bits.py
relion_refine_mpi
roarinterconnect
cineoob