Linux workstation

Upstream software project

agda

dependently typed functional programming language; documentation

About agda

dependently typed functional programming language; documentation

This project links 14 native package records across 2 recorded operating-system releases. Compare the retained versions and architectures below, then open the package for your own release.

These are catalog observations, not a guarantee of installation, compatibility, or upstream support.

Visit project website

Project pictures and package coverage

Debian 12 (Bookworm): 7 package records; Debian 13 (Trixie): 7 package records. Catalog coverage diagram, not an application screenshot.agda: recorded package coverageDebian 12 (Bookworm)7 recordsDebian 13 (Trixie)7 records
OpenFactory diagram of linked package records. It is not an application screenshot.

Project identity

Project
agda
Publisher
Not authoritatively mapped
Native package records
14
Operating systems
debian-12, debian-13
License expression
Not reported
Metadata completeness
80/100 (not a software quality rating)
Homepage
Visit upstream site
Source repository
Not reported

Source-reported description

The fullest retained description is shown with its source. Distribution packaging descriptions may include downstream details.

dependently typed functional programming language; documentation

Description source

Packages by operating system

Compare recorded versions, then open a package for dependency, file, checksum, and repository evidence. Version strings are distribution-specific, not a ranking of newer software.

Debian 12 (Bookworm)

  1. agda

    Debian 12 (Bookworm) / misc

    2.6.2.2-1.1

    dependently typed functional programming language

    allbookworm
  2. agda-bin

    Debian 12 (Bookworm) / haskell / source agda

    2.6.2.2-1.1

    commandline interface to Agda

    amd64bookworm
  3. agda-stdlib

    Debian 12 (Bookworm) / libs

    1.7.1-1

    standard library for Agda

    allbookworm
  4. agda-stdlib-doc

    Debian 12 (Bookworm) / doc / source agda-stdlib

    1.7.1-1

    standard library for Agda — documentation

    allbookworm
  5. elpa-agda2-mode

    Debian 12 (Bookworm) / editors / source agda

    2.6.2.2-1.1

    dependently typed functional programming language — emacs mode

    allbookworm
  6. libghc-agda-dev

    Debian 12 (Bookworm) / haskell / source agda

    2.6.2.2-1.1

    dependently typed functional programming language

    amd64bookworm
  7. libghc-agda-doc

    Debian 12 (Bookworm) / doc / source agda

    2.6.2.2-1.1

    dependently typed functional programming language; documentation

    allbookworm

Debian 13 (Trixie)

  1. agda

    Debian 13 (Trixie) / misc

    2.6.4.3-1

    dependently typed functional programming language

    alltrixie
  2. agda-bin

    Debian 13 (Trixie) / haskell / source agda

    2.6.4.3-1+b2

    commandline interface to Agda

    amd64arm64trixie
  3. agda-stdlib

    Debian 13 (Trixie) / libs

    2.1-4

    standard library for Agda

    alltrixie
  4. agda-stdlib-doc

    Debian 13 (Trixie) / doc / source agda-stdlib

    2.1-4

    standard library for Agda — documentation

    alltrixie
  5. elpa-agda2-mode

    Debian 13 (Trixie) / editors / source agda

    2.6.4.3-1

    dependently typed functional programming language — emacs mode

    alltrixie
  6. libghc-agda-dev

    Debian 13 (Trixie) / haskell / source agda

    2.6.4.3-1+b2

    dependently typed functional programming language

    amd64arm64trixie
  7. libghc-agda-doc

    Debian 13 (Trixie) / doc / source agda

    2.6.4.3-1

    dependently typed functional programming language; documentation

    alltrixie

Project resources and further reading

Mapping provenance

Only source-backed identity signals create public cross-OS links. A reviewer can later approve or dispute an inferred relationship without rewriting native package history.

No field-level source record is published yet.