pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
krfcheck
dogtail-recorder
esdrec
gfs-gfork-master
iotop
lvmdump
mlmmj-make-ml.sh
ldapget
replace
tracert6
failed-syscalls-by-pid-record
dbrowenumerate
arb_vertex_buffer_object-vbo-subdata-many
glsl-fs-bug25902
tcpconnect
x2goterminate-session
affsign
besside-ng-crawler
cakephp-instaweb
dvbtraffic
fcitx4-config
gliv
gmtswitch
xspp
macstream
multicat_validate
unit_diff
slon_start
pwo2xsf
zwrite