pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
bltk
mergerepo_c
cssclean
etop
mcat
pamstack
mozhttpd
rpmdep
xdg-email
Xnest
cucumber
bardecode
freefoam-uncoupledKinematicParcel
x86_64-w64-mingw32-gnatbind-posix
gozerbot-udp
gsmsmsspool
latex-mk
mate-terminal
mia-2dtrackpixelmovement
mdtool
otrs.LoaderCache.pl
pcl_obj2pcd
pmlogger_daily
vifn
helical
rumor
sdas6808
variant_comp
uhd_cal_tx_iq_balance
filext