Limit to suite: [squeeze] [squeeze-updates] [squeeze-backports] [wheezy] [sid] [experimental]
Limit to a architecture: [alpha] [amd64] [arm] [armel] [armhf] [avr32] [hppa] [hurd-i386] [i386] [ia64] [kfreebsd-i386] [kfreebsd-amd64] [m68k] [mips] [mipsel] [powerpc] [powerpcspe] [s390] [s390x] [sh4] [sparc] [sparc64]
You have searched for packages that names contain agda in all suites, all sections, and all architectures. Found 12 matching packages.
Exact hits
Package agda
- wheezy (testing) (misc):
dependently typed functional programming language
2.3.0-1: all - sid (unstable) (misc):
dependently typed functional programming language
2.3.0.1-1: all
Other hits
Package agda-bin
- squeeze (stable) (haskell):
Commandline interface to Agda
2.2.6-1+b1: amd64 i386 kfreebsd-i386 mips powerpc s390 sparc
2.2.6-1: armel kfreebsd-amd64 mipsel - wheezy (testing) (haskell):
commandline interface to Agda
2.3.0.1-1: amd64 armel armhf i386 kfreebsd-amd64 kfreebsd-i386 powerpc s390x sparc - sid (unstable) (haskell):
commandline interface to Agda
2.3.0.1-1: alpha amd64 armel armhf i386 kfreebsd-amd64 kfreebsd-i386 powerpc s390x sparc
2.2.6-1+b1: hppa - experimental (rc-buggy) (haskell):
Commandline interface to Agda
2.2.8-1: alpha
Package agda-mode
- squeeze (stable) (misc):
the emacs mode for Agda
2.2.6-7: all - wheezy (testing) (misc):
dependently typed functional programming language — emacs mode
2.3.0-1: all - sid (unstable) (misc):
dependently typed functional programming language — emacs mode
2.3.0.1-1: all - experimental (rc-buggy) (misc):
the emacs mode for Agda
2.2.8-1: all
Package agda-stdlib
- squeeze (stable) (libs):
a dependently typed programming language - standard library
0.3-3: amd64 i386 kfreebsd-i386 powerpc sparc - wheezy (testing) (libs):
standard library for Agda
0.6-2: all - sid (unstable) (libs):
standard library for Agda
0.6-2: all
Package agda-stdlib-doc
- squeeze (stable) (doc):
a dependently typed programming language - documentation
0.3-3: all - wheezy (testing) (doc):
standard library for Agda — documentation
0.6-2: all - sid (unstable) (doc):
standard library for Agda — documentation
0.6-2: all
Package haskell-agda-doc
- squeeze (stable) (doc):
transitional dummy package
1:2: all
also provided by: libghc6-agda-doc - wheezy (testing) (doc):
transitional dummy package
1:6: all
also provided by: libghc-agda-doc - sid (unstable) (doc):
transitional dummy package
1:6: all
also provided by: libghc-agda-doc - experimental (rc-buggy):
Virtual package
provided by: libghc6-agda-doc
Package libdiet-dagda2.8
- wheezy (testing) (libs):
DIET grid middleware - dagda runtime
2.8.0-1+b1: amd64 armel armhf i386 ia64 kfreebsd-amd64 kfreebsd-i386 mips mipsel powerpc s390 s390x sparc - sid (unstable) (libs):
DIET grid middleware - dagda runtime
2.8.0-1+b1: alpha amd64 armel armhf i386 ia64 kfreebsd-amd64 kfreebsd-i386 mips mipsel powerpc s390 s390x sh4 sparc
Package libdiet-dagda2.8-dev
- wheezy (testing) (libdevel):
DIET grid middleware - dagda development files
2.8.0-1+b1: amd64 armel armhf i386 ia64 kfreebsd-amd64 kfreebsd-i386 mips mipsel powerpc s390 s390x sparc - sid (unstable) (libdevel):
DIET grid middleware - dagda development files
2.8.0-1+b1: alpha amd64 armel armhf i386 ia64 kfreebsd-amd64 kfreebsd-i386 mips mipsel powerpc s390 s390x sh4 sparc
Package libghc-agda-dev
- wheezy (testing) (haskell):
dependently typed functional programming language - development libraries
2.3.0-1+b2: amd64 i386 kfreebsd-amd64 kfreebsd-i386
2.3.0-1: s390x sparc - sid (unstable) (haskell):
dependently typed functional programming language - development libraries
2.3.0.1-1+b2: amd64 i386 sparc
2.3.0.1-1+b1: alpha armel armhf kfreebsd-amd64 kfreebsd-i386 powerpc s390x
Package libghc-agda-doc
- wheezy (testing) (doc):
dependently typed functional programming language - documentation
2.3.0-1: all - sid (unstable) (doc):
dependently typed functional programming language - documentation
2.3.0.1-1: all
Package libghc6-agda-dev
- squeeze (stable) (haskell):
a dependently typed functional programming language - development libraries
2.2.6-7: amd64 armel i386 kfreebsd-amd64 kfreebsd-i386 mips mipsel powerpc s390 sparc - wheezy (testing) (haskell):
transitional dummy package
1:6: all - sid (unstable) (haskell):
transitional dummy package
1:6: all - experimental (rc-buggy) (haskell):
a dependently typed functional programming language - development libraries
2.2.8-1: alpha
Package libghc6-agda-doc
- squeeze (stable) (doc):
a dependently typed functional programming language - documentation
2.2.6-7: all - wheezy (testing) (doc):
transitional dummy package
1:6: all - sid (unstable) (doc):
transitional dummy package
1:6: all - experimental (rc-buggy) (doc):
a dependently typed functional programming language - documentation
2.2.8-1: all