{"@context":"https://schema.org","@type":"SoftwareApplication","@id":"https://nerq.ai/dependencies/agda.json","schema_version":"L4-dependencies/v1","slug":"agda","registry":"homebrew","name":"agda","last_updated_at":"2026-03-20T10:45:04Z","dependencies":{"direct_count":2,"transitive_count":null,"transitive_known":false,"dormant":true,"dormant_reason":"no_signal","dormant_threshold_days":365},"registry_url":"https://formulae.brew.sh/formula/agda","homepage_url":"https://wiki.portal.chalmers.se/agda/","repository_url":"","sameAs":[],"data_source":"nerq.software_registry","llms_txt":"https://nerq.ai/llms.txt"}