pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
streamplayer
autotest-daemon
bkhive
condor_sos
lpq.cups
cupsctl
lneato
r.stats
v.label
paltohdf
meinproc
glsl-fs-sampler-numbering
printcdb
waf-2.6
ubuntu-distro-info
dracut
dv4lstart
checkpoint_summary
mdrun_mpi_d.openmpi
grub-fstest
dpl4hydra
icegrid-gui
tcp6
wxglade
spatialite_osm_map
tcpstat
buildxpi
uwsgi_alarm_curl
vbackup
z88v