pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ipmiping
alpha-linux-gnu-gcc
gdbserver
gloox-config
grib_dump
hpftodit
bmptopnm
pcl_openni_viewer
pomdump
plpa-taskset
rsnapshot
mustache
scapy
gnatpp
conjugue-ISO-8859-1
blister.o
objfgelm.o
orbdes
gimagereader
gpspipe
zgrep
vboxmail
klettres
ideviceimagemounter
theora_player_example
newbiedoc
argv0
umockdev-run
unifontksx
addpix