pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
argsparse
nm
arm-linux-gnu-gprof
ld
glite-lb-bkserverd
kmk_install
hg-ssh
vidir
fbo-readpixels
tex3d-maxsize
qdbus
pppoe-connect
bbackupctl
coinst_converter
escript
filepp
flowgrindd
grdhisteq
grokevt-builddb
udp2file
embpexec
vlmerge
mp4subtitle
osggameoflife
p-link
procmeter3-xaw
smcroute
install-printerdriver
journalctl
komkindex