pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
bfin-linux-gnu-readelf
ceph_erasure_code_benchmark
ipa-upgradeconfig
mtp-newfolder
mp2bug
max-texture-size
subunit-tags
qtconfig-qt4
rpkg
srcpd
winecfg
x2goresume-desktopsharing
twm
aeson-pretty
bootpc
crashlist
dh_metainit
gmerlin_psnr
r.report
rdf_store_serialize.pl
llvm-readobj-3.5
lxterminal
monajat-applet
xbuild.exe
move
rhn_register
dfi
sak
synce-serial-start
mkvsyvf