pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
libval-config-x86_64
dpkg-deb
Trim
erlexec
gprolog
xmdump2
i686-w64-mingw32-gcc-4.9.2
mlpack_kmeans
mtn-cleanup
onionshare-gui
theora_player.bin
dumphdr
ceph_test_rados_list_parallel
dvblastctl
electrum
mkfs.exfat
x86_64-linux-gnu-gccgo-4.8
geximon
ldconfig
r.category
gwyddion
nwepgen
eventsource
parcimonie-torified-gpg
make_db
pdp15
starpu_codelet_histo_profile
queue
tvtime-configure
gnuattach.xemacs21