pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
alpha-linux-gnu-strip
hppa64-linux-gnu-strings
cksum
dspam_pg2int8
man5x
gspath
httping
arb_texture_buffer_object-minmax
arb_vertex_type_10f_11f_11f_rev-api-errors
powwow-movie2ascii
pwauth
x3270
xwud
envy24control
bison.yacc
faketime
usertrees
gnome-btdownload
gurgitate-mail
hbro
kamerka
omxregister-bellagio
sass2css
lpd
mate-panel-test-applets
osgearth_package
feedvalidator
SwapValuation
renattach
imhead