pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
avr32-linux-gnu-strings
size86
dpns-modifygrpmap
grib_compare
hping2
makealias
ibnodes
kdemangen.pl
pserve
shed
calibre
dillo
fio2gnuplot
setkey
printsplitimage
jpegexiforient
osh
rmiregistry
pmhostname
pfsouttiff
rabbiter
bib2ris
refdbc
smplayer
surfraw-update-path
tomoyo-findtemp
vala-0.26
velveth
dcmsplit
zypp-refresh