pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ceph-osd
dirac_YUV420Down2x2
dirac_YUV420pt75filter
rfdir
ihealth
makecert
nautilus-autorun-software
secon
wannier_plot.x
sediffx
fortran_count
xfsdump
xsupplicant
brighton
camlp5o.opt
designate-api
iterate_rates
freefoam-surfaceMeshTriangulate
phoa2d
gpiv_revert
indi_lx200fs2
proofserva
doc_loadbios
owserver
paprass
r10k
rdiff-backup-fs
dgnova
dupvserver
xrsh