pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
b43-fwdump
ar
h5import
plainrsa-gen
kni_sensor
unlzf
kronolith-agenda
arb_compute_shader-work_group_size_too_large
evol-2
vnc2swf-play
qmlimportscanner
sipdialer
sssd
wall
bpm
create-debian-live
regress
edamname
freefoam-subsetMesh
idxmerge
r.composite
adios_config
gda-list-config-5.0
pk1sign
lxsession-db
qemu-armeb-static
sfood
action_snmpv1trap
ttf2ufm
xcf2pnm