pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
bindexhist
bwbar
collectl
gpg
gpaw-basis
opj2dat
bugpoint
mcedit
arb_explicit_uniform_location-array-elements
behave
smbios-token-ctl
tpm_setclearable
siggen
mrgddb
coccinella
ctpp2i
pybuild
backtranambig
hedgewars
indi_skycommander
SCMPrint
lrs
mpccut
gcv-long
mord
sml.x86-linux
adhocfilelist
u3-tool
vbfilter
vzctl