Limit to suite: [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
Limit to a architecture: [alpha] [amd64] [arm] [arm64] [armel] [armhf] [avr32] [hppa] [hurd-i386] [i386] [ia64] [kfreebsd-amd64] [kfreebsd-i386] [m68k] [mips] [mips64el] [mipsel] [powerpc] [powerpcspe] [ppc64] [ppc64el] [riscv64] [s390] [s390x] [sh4] [sparc] [sparc64] [x32]
Search in all architectures
Some results have not been displayed due to the search parameters.
You have searched for paketit that names contain agda in kaikki jakelut, kaikki osastot, and architecture(s) x32. Found 8 matching packages.
Tarkat hakutulokset
Paketti agda
- buster (oldoldstable) (misc):
dependently typed functional programming language
2.5.4.1-3: all - bullseye (oldstable) (misc):
dependently typed functional programming language
2.6.1-1: all - bookworm (stable) (misc):
dependently typed functional programming language
2.6.2.2-1.1: all - trixie (testing) (misc):
dependently typed functional programming language
2.6.3-1: all - sid (unstable) (misc):
dependently typed functional programming language
2.6.3-1: all
Muut hakutulokset
Paketti agda-bin
- sid (unstable) (haskell):
commandline interface to Agda
2.6.1-1+b2 [debports]: x32
Paketti agda-mode
- buster (oldoldstable) (misc):
transitional dummy package for elpa-agda2-mode
2.5.4.1-3: all
jonka toteuttaa myös: elpa-agda2-mode
Paketti agda-stdlib
- buster (oldoldstable) (libs):
standard library for Agda
0.17-1: all - bullseye (oldstable) (libs):
standard library for Agda
1.3-2: all - bookworm (stable) (libs):
standard library for Agda
1.7.1-1: all - trixie (testing) (libs):
standard library for Agda
1.7.3-1: all - sid (unstable) (libs):
standard library for Agda
1.7.3-1: all
Paketti agda-stdlib-doc
- buster (oldoldstable) (doc):
standard library for Agda — documentation
0.17-1: all - bullseye (oldstable) (doc):
standard library for Agda — documentation
1.3-2: all - bookworm (stable) (doc):
standard library for Agda — documentation
1.7.1-1: all - trixie (testing) (doc):
standard library for Agda — documentation
1.7.3-1: all - sid (unstable) (doc):
standard library for Agda — documentation
1.7.3-1: all
Paketti elpa-agda2-mode
- buster (oldoldstable) (editors):
dependently typed functional programming language — emacs mode
2.5.4.1-3: all - bullseye (oldstable) (editors):
dependently typed functional programming language — emacs mode
2.6.1-1: all - bookworm (stable) (editors):
dependently typed functional programming language — emacs mode
2.6.2.2-1.1: all - trixie (testing) (editors):
dependently typed functional programming language — emacs mode
2.6.3-1: all - sid (unstable) (editors):
dependently typed functional programming language — emacs mode
2.6.3-1: all
Paketti libghc-agda-dev
- sid (unstable) (haskell):
dependently typed functional programming language
2.6.1-1+b2 [debports]: x32
Paketti libghc-agda-doc
- buster (oldoldstable) (doc):
dependently typed functional programming language; documentation
2.5.4.1-3: all - bullseye (oldstable) (doc):
dependently typed functional programming language; documentation
2.6.1-1: all - bookworm (stable) (doc):
dependently typed functional programming language; documentation
2.6.2.2-1.1: all - trixie (testing) (doc):
dependently typed functional programming language; documentation
2.6.3-1: all - sid (unstable) (doc):
dependently typed functional programming language; documentation
2.6.3-1: all