pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
catkin-bump-version
gnome-calculator
rgb2pct.py
lprsetup.sh
r.drain
optimizegraphics
dcraw_emu
mpireconfig
libopenvas-config
pkcs11_eventmgr
proxyfuzz
mpto
cgexec
check_postgres_sequence
codecgraph
poi2osm
freefoam-dsmcFieldsCalc
bssdriver
keychain
nfc-relay
start_server
tmxuniq
g3toxwd
mousepad
ProcessVX_Win32.pm
nuaclgen
exclude_seqs_by_blast.py
slminfo
umockdev-record
vzmemcheck