pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
mk-job
fltk-config-i686
gnome-power-preferences
ipcalc
lvreduce
reset_pw.py
iscsi-target
ntfscat
TranMain_NC_openmpi
ext_framebuffer_multisample-blit-flipped
fbo-fragcoord
ipcrm
xbase64-config
xdotool
acpitail
aelparse
elki-cli
freefoam-pimpleDyM
hatari
load_gff3.PLS
prima-VB
librarian-puppet
rsvg-view-3
zcov-scan.gz
jp2-thumbnailer
pike7.8
dropdb
STKDemo
unmass
xotclsh