pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
automake-1.11
mzn-gecode
qquota
g_dipoles_d
krandrtray
targetd_lsmplugin
lshw-gui
mpirun_dbg.totalview
arb_texture_view-queries
catkin_create_pkg
tomcat-jsvc
lsusb.py
publ
dbcheck
bp_seqfeature_load
ocs-live-general
drbl-detect-cdrom
ontogetsibs
fai-chboot
jumble
freefoam-graphResKE
ibus-sharada-braille-preferences
jabber-querybot
ad_config
mlton
NPmpich2
oarnodecheckquery
bibtex.pybtex
events.html
sylseg-sk-training