pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
abi-compliance-checker
mips64-linux-gnu-ld
fsck.ext4dev
beam
cgget
xc-info
x86_64-w64-mingw32-gcc-nm
mutt
pnmtotiff
ganeshactl
ociobakelut
glx-create-context-invalid-flag
vcftools
agtl
raxml
bregex
arm-linux-gnueabi-c++filt
bp_revtrans-motif
UYVYtoYUV422
dmsdmd
dose-distcheck
Fhelp
convert-im6
ipcheck.py
jmeter-server
akonaditest
ndtpd
get_options
pcl_ni_susan
unp