packages Skip to content

» Ubuntu » Packages » Package Search Results

You have searched for packages that names contain agda in all suites, all sections, and all architectures. Found 7 matching packages.

Exact hits

Package agda

• jammy (22.04LTS) (misc): dependently typed functional programming language [universe]
  2.6.1-1build2.1: all
• noble (24.04LTS) (misc): dependently typed functional programming language [universe]
  2.6.3-1build1: all
• questing (25.10) (misc): dependently typed functional programming language [universe]
  2.6.4.3-1: all
• resolute (26.04LTS) (misc): dependently typed functional programming language [universe]
  2.8.0-2build1: all
• stonking (misc): dependently typed functional programming language [universe]
  2.8.0-2build1: all

Other hits

Package agda-bin

• jammy (22.04LTS) (haskell): commandline interface to Agda [universe]
  2.6.1-1build2.1: amd64 ppc64el riscv64 s390x
• noble (24.04LTS) (haskell): commandline interface to Agda [universe]
  2.6.3-1build1: amd64 arm64 ppc64el riscv64 s390x
• questing (25.10) (haskell): commandline interface to Agda [universe]
  2.6.4.3-1: amd64 arm64 ppc64el riscv64 s390x
• resolute (26.04LTS) (haskell): commandline interface to Agda [universe]
  2.8.0-2build1: amd64 arm64 ppc64el riscv64 s390x
• stonking (haskell): commandline interface to Agda [universe]
  2.8.0-2build1: amd64 arm64 ppc64el riscv64 s390x

Package agda-stdlib

• jammy (22.04LTS) (libs): standard library for Agda [universe]
  1.3-2: all
• noble (24.04LTS) (libs): standard library for Agda [universe]
  1.7.3-1: all
• questing (25.10) (libs): standard library for Agda [universe]
  2.1-4: all
• resolute (26.04LTS) (libs): standard library for Agda [universe]
  2.3-1: all
• stonking (libs): standard library for Agda [universe]
  2.3-1: all

Package agda-stdlib-doc

• jammy (22.04LTS) (doc): standard library for Agda — documentation [universe]
  1.3-2: all
• noble (24.04LTS) (doc): standard library for Agda — documentation [universe]
  1.7.3-1: all
• questing (25.10) (doc): standard library for Agda — documentation [universe]
  2.1-4: all
• resolute (26.04LTS) (doc): standard library for Agda — documentation [universe]
  2.3-1: all
• stonking (doc): standard library for Agda — documentation [universe]
  2.3-1: all

Package elpa-agda2-mode

• jammy (22.04LTS) (editors): dependently typed functional programming language — emacs mode [universe]
  2.6.1-1build2.1: all
• noble (24.04LTS) (editors): dependently typed functional programming language — emacs mode [universe]
  2.6.3-1build1: all
• questing (25.10) (editors): dependently typed functional programming language — emacs mode [universe]
  2.6.4.3-1: all
• resolute (26.04LTS) (editors): dependently typed functional programming language — emacs mode [universe]
  2.8.0-2build1: all
• stonking (editors): dependently typed functional programming language — emacs mode [universe]
  2.8.0-2build1: all

Package libghc-agda-dev

• jammy (22.04LTS) (haskell): dependently typed functional programming language [universe]
  2.6.1-1build2.1: amd64 ppc64el riscv64 s390x
• noble (24.04LTS) (haskell): dependently typed functional programming language [universe]
  2.6.3-1build1: amd64 arm64 ppc64el riscv64 s390x
• questing (25.10) (haskell): dependently typed functional programming language [universe]
  2.6.4.3-1: amd64 arm64 ppc64el riscv64 s390x
• resolute (26.04LTS) (haskell): dependently typed functional programming language [universe]
  2.8.0-2build1: amd64 arm64 ppc64el riscv64 s390x
• stonking (haskell): dependently typed functional programming language [universe]
  2.8.0-2build1: amd64 arm64 ppc64el riscv64 s390x

Package libghc-agda-doc

• jammy (22.04LTS) (doc): dependently typed functional programming language; documentation [universe]
  2.6.1-1build2.1: all
• noble (24.04LTS) (doc): dependently typed functional programming language; documentation [universe]
  2.6.3-1build1: all
• questing (25.10) (doc): dependently typed functional programming language; documentation [universe]
  2.6.4.3-1: all
• resolute (26.04LTS) (doc): dependently typed functional programming language; documentation [universe]
  2.8.0-2build1: all
• stonking (doc): dependently typed functional programming language; documentation [universe]
  2.8.0-2build1: all