pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
BackupPC_zcat
bogotune
grdmath
grib_add
ibsim
isnsdd
vgscan
mysql-zrm-scheduler
ConvertMapData
ppmdraw
ods-enforcerd
hpitree
pl2pm
rpmquery
ecaconvert
fasta_clipping_histogram.pl
flexlink
ma2asm
gennorm2
ipfm
rcc
javah
open_jtalk
loofah-rebuild
qnifti2dicom
cofactors.txt
samizdat-role
daemon.sh
SvmTheoreticalSpectrumGeneratorTrainer
log2tsung.pl