pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
m68k-linux-gnu-objcopy
dvddirdel
hsqldbRunUtil
meld
jade
arb_es2_compatibility-shadercompiler
gen-compressed-teximage
floppy
xgnokii
sed
affsegment
save
red.lut
freefoam-ideasUnvToFoam
v.parallel
htag
krdc_rfb_approver
hcp
dbverify
metche
JPWL_image_to_j2k
pfsindcraw
whups-svn-hook
pdistreport
vhdl_count
sff-load
datatypes_driver
fsfs-reorg
tupi.bin
zoo