pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
migratecred-bin
ifnames-2.13
sparc64-linux-gnu-as
man2x
gnotravex
unlzf
arb_uniform_buffer_object-negative-bindbufferrange-range
ext_transform_feedback-output-type
postcat
mail-files
sms_ntsc_demo
voms-proxy-init
synclient
test
ar
btrfs-select-super
cgm-release-agent
icon_dump_index
deluge-console
freefoam-plot3dToFoam
hpropd
expire
pinentry-kwallet
theora_player_example
mafft-xinsi
nova
psf
vpe
tos-build-deluge-image
travis