pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
bakefile
bfin-linux-gnu-objdump
dirac_YUV422toYUV420
jython
k3guitune
psfstriptable
lyxclient
pvfmix
pnmmontage
pmtime
plserver
logconv
create_bmp_for_circ_in_rect
bootchartd
dh_installcliframework
fastforward
trjconv
groovyConsole
bg-installer
pocl-standalone
stemwords
lysdr
meshs3d
mia-2dimageregistration
amd64-mingw32msvc-c++filt
tulip-diag
livesys
ipsort
delrconsole
gap5