release
alert
Auto-detect
Apple App Store
Rust Crate (Cargo)
Chocolatey Package
Docker Image
Debian Package (Bookworm)
Go Module
Ruby GEM
GitHub Repository
GitLab Repository
Maven Central
NPM Package
NuGet Package
Packagist Package
Python Package (PyPI)
VS Code Extension
WordPress Plugin
Search
/
Sign in
agda-bin
Debian Bookworm
deb.debian.org
wiki.portal.chalmers.se
Releases
1
Frequency
Last Release
about 1 month ago
Saturday, 16 May 2026, 10:54
commandline interface to Agda
Log in to subscribe
Releases
1
Collections
0
Collections containing this project
Showing collections based on your access.
This project is not in any collections you can view.
