pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
gifovly
logtail2
x86_64-w64-mingw32-dlltool
pcl_xyz2pcd
implementation6d
humfsify
Xdialog-gtk1
cd-hit-2d-para
dnsubmit
fvwm-crystal.infoline
rmid
loginfo-handler
handler.py
usrp_flex_all
typelib.py
downloadosmtiles
lzip.minilzip
mlock
m-tx
lasts
cli.js
ovs-appctl
pgpgpg
pmailq
clusterdb
rlock
samizdat-role
amk_fft2
sigviewer
wineg++