pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
mn10300-linux-gnu-objdump
start
flow-dscan
freealut-config
r.gwflow
htmv
gst-inspect-0.10
dc1394_vloopback
fs-texelFetchOffset-2D
glx-swap-pixmap
rakconvert
posplit
xpat
assword
as
blueman-manager
ITGDec
dvbtune
fastaq_to_unique_by_id
flexml
freefoam-surfaceFeatureConvert
gosafe
hatop
hexastore_query.pl
mia-2dseriesgradMAD
pynslcd
rsyncrypto_recover
srf2fasta
stash
xsec-xklient