Ubuntu – Package Search Results -- agda

Limit search to a specific architecture: [i386] [amd64] [powerpc] [arm64] [armhf] [ppc64el] [riscv64] [s390x]

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

plucky (25.04) (misc): dependently typed functional programming language [universe]
2.6.4.3-1: all

questing (25.10) (misc): dependently typed functional programming language [universe]
2.6.4.3-1: all

resolute (misc): dependently typed functional programming language [universe]
2.6.4.3-1build1: 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

plucky (25.04) (haskell): commandline interface to Agda [universe]
2.6.4.3-1: 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 (haskell): commandline interface to Agda [universe]
2.6.4.3-1build1: 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

plucky (25.04) (libs): standard library for Agda [universe]
2.1-4: all

questing (25.10) (libs): standard library for Agda [universe]
2.1-4: all

resolute (libs): standard library for Agda [universe]
2.1-4build1: 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

plucky (25.04) (doc): standard library for Agda — documentation [universe]
2.1-4: all

questing (25.10) (doc): standard library for Agda — documentation [universe]
2.1-4: all

resolute (doc): standard library for Agda — documentation [universe]
2.1-4build1: 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

plucky (25.04) (editors): dependently typed functional programming language — emacs mode [universe]
2.6.4.3-1: all

questing (25.10) (editors): dependently typed functional programming language — emacs mode [universe]
2.6.4.3-1: all

resolute (editors): dependently typed functional programming language — emacs mode [universe]
2.6.4.3-1build1: 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

plucky (25.04) (haskell): dependently typed functional programming language [universe]
2.6.4.3-1: 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 (haskell): dependently typed functional programming language [universe]
2.6.4.3-1build1: 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

plucky (25.04) (doc): dependently typed functional programming language; documentation [universe]
2.6.4.3-1: all

questing (25.10) (doc): dependently typed functional programming language; documentation [universe]
2.6.4.3-1: all

resolute (doc): dependently typed functional programming language; documentation [universe]
2.6.4.3-1build1: all