pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ifnames-2.13
nm
ceph_test_rados_api_io
ia64-linux-gnu-cpp
uncompress
jscoverage
pcl_vtk2obj
chartex
average.x_mpich
mkchroot.sagator
sheep
patmake
ewfmount
freefoam-buoyantPimple
adddir
pswiggle
gnunet-resolver
graphml2gv
killer
not-3.4
LogolExec
mincmakescalar
nvtv
onesixtyone
patchelf
pcl_pcd_organized_multi_plane_segmentation
test_base.py
parallel_pick_otus_trie.py
genpyt
tkmib