pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
r.resamp.stats
grib_index_build
qconf
pcbnew
oil-bugreport
blkdeactivate
mpicc
pbmtoptx
ntfslabel
pnm2ppa
qdbuscpp2xml-qt5
ustr-import
zarafa-fsck
ceph_test_filestore_idempotent_sequence
freeradius
g.remove
teamd
mvn
DifOdometry-Datasets
innetgr
nova-conductor
ocamlify
openjade1.3
plan
Bonds
mcv-int32
setfilecon
uhub-passwd
tv_sort
zegrapher