pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
tile-linux-gnu-objcopy
g_sorient_d
hdf8to24
kcdirtest
uil
7z
streaming_paraview
sessreg
aoss
bbdb-cid
bp_seqret
regdbdump
darksnow
decnetconf
lprdvi
exrchr
global
qikea
avconv
llc-3.5
randsample
mplex
vbnc2
obexget
afs-rootvol
vebegin
relion_refine_mpi
roarmonhttp
scsidev
nencvalid.2