pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
jigloo.class
cabal
cdmake-gfortran
rollchk
dialyzer
kcare-uname
grmiregistry
tracert6
pbmtolj
ext_framebuffer_multisample-interpolation
autospec2
tpm_getpcrhash
readom
bp_filter_search
dictzcat
gdis
glance-scrubber
d.rgb
convert-ly
manderlbot
forw
salvsync-debug
httpGate
pmkscan
waitress-serve-python3
fabio_viewer
txaws-get-object
vde_cryptcab
edhead
dedcompile