pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
amrmtape
ftstring
kaccess
hwstamp_ctl
image-creator
nautilus
ysearch-gfortran
event_analyzing_sample-record
fdo23489
scissor-polygon
strace
losetup
vcf-convert
a2query
m68hc12-ranlib
maildirkw
gdal_trace_outline
eliompp
standard.lut
mpitask
estcmd.pl
mh_linkjars
miwm
muroard
state_analyzer
qemu-ppc64le-static
saga_gui
fig4latex
IsobaricAnalyzer
xymoncfg