pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
autom4te
ia64-linux-gnu-gprof
vpddecode
gstat-fb
fvwm-menu-desktop
gnumeric-1.10.10
lircd
i686-w64-mingw32-gcc-ar
dmcs
openvas-adduser
pvserver_mpich
pflags
xmlpatterns
sslstrip
Cone
adt-virt-chroot
ocs-live
create_compressed_fs
print_client
ttunique
gdal_list_corners
ftpwatch
v.out.pov
obexpushd
otrs.PostMasterClient.pl
pj_dump
gem2.1
dynect.rb
tmake
server-resume