pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
lpc.cups
sshow
diffpp
inxi
vgmknodes
mdassembler
tarch
send_arp
nm
freefoam-changeDictionary
gcl
grap
v.digit
hdevtools
ionwarn
kayac
get_givens
printtiff
gpgmailtunl
nfc-mfclassic
lexgrog
njplot
numaverage
check_is_laptop
bibtex.pybtex
preline
qttracereplay
cat5rancid
mpexpand
comparoob