Search in specific suite: [hardy] [hardy-updates] [hardy-backports] [lucid] [lucid-updates] [lucid-backports] [natty] [natty-updates] [natty-backports] [oneiric] [oneiric-updates] [oneiric-backports] [precise] [precise-updates] [precise-backports] [quantal]
Limit search to a specific architecture: [i386] [amd64] [powerpc] [armel]
You have searched for packages that names contain agda in all suites, all sections, and all architectures. Found 13 matching packages.
Exact hits
Package agda
- oneiric (misc):
dependently typed functional programming language [universe]
2.2.10-3build1: all - precise (misc):
dependently typed functional programming language [universe]
2.3.0.1-1build2: all - quantal (misc):
dependently typed functional programming language [universe]
2.3.0.1-1build2: all
Other hits
Package agda-bin
- lucid (haskell):
Commandline interface to Agda [universe]
2.2.6-1build1: amd64 i386 - natty (haskell):
Commandline interface to Agda [universe]
2.2.10-1~ubuntu1: amd64 i386 - oneiric (haskell):
commandline interface to Agda [universe]
2.2.10-2: amd64 i386 - precise (haskell):
commandline interface to Agda [universe]
2.3.0.1-1: amd64 i386 - quantal (haskell):
commandline interface to Agda [universe]
2.3.0.1-1: amd64 i386
Package agda-mode
- lucid (misc):
the emacs mode for Agda [universe]
2.2.6-3: all - natty (misc):
the emacs mode for Agda [universe]
2.2.10-1~ubuntu1: all - oneiric (misc):
dependently typed functional programming language — emacs mode [universe]
2.2.10-3build1: all - precise (misc):
dependently typed functional programming language — emacs mode [universe]
2.3.0.1-1build2: all - quantal (misc):
dependently typed functional programming language — emacs mode [universe]
2.3.0.1-1build2: all
Package agda-stdlib
- lucid (libs):
a dependently typed programming language - standard library [universe]
0.3-1ubuntu2: amd64 i386 - natty (libs):
a dependently typed programming language - standard library [universe]
0.5-1~ubuntu1: all - oneiric (libs):
standard library for Agda [universe]
0.5-1: all - precise (libs):
standard library for Agda [universe]
0.6-2: all - quantal (libs):
standard library for Agda [universe]
0.6-2: all
Package agda-stdlib-doc
- lucid (doc):
a dependently typed programming language - documentation [universe]
0.3-1ubuntu2: all - natty (doc):
a dependently typed programming language - documentation [universe]
0.5-1~ubuntu1: all - oneiric (doc):
standard library for Agda — documentation [universe]
0.5-1: all - precise (doc):
standard library for Agda — documentation [universe]
0.6-2: all - quantal (doc):
standard library for Agda — documentation [universe]
0.6-2: all
Package haskell-agda-doc
- lucid (doc):
a dependently typed functional programming language - documentation [universe]
2.2.6-3: all - natty (doc):
transitional dummy package [universe]
1:2: all
also provided by: libghc6-agda-doc - oneiric (doc):
transitional dummy package [universe]
1:5: all
also provided by: libghc-agda-doc - precise (doc):
transitional dummy package [universe]
1:6: all
also provided by: libghc-agda-doc - quantal (doc):
transitional dummy package [universe]
1:6: all
also provided by: libghc-agda-doc
Package libdiet-dagda2.8
- quantal (libs):
DIET grid middleware - dagda runtime [universe]
2.8.0-1: amd64 i386
Package libdiet-dagda2.8-dev
- quantal (libdevel):
DIET grid middleware - dagda development files [universe]
2.8.0-1: amd64 i386
Package libghc-agda-dev
- oneiric (haskell):
dependently typed functional programming language - development libraries [universe]
2.2.10-3build1: amd64 i386 - precise (haskell):
dependently typed functional programming language - development libraries [universe]
2.3.0.1-1build2: amd64 i386 - quantal (haskell):
dependently typed functional programming language - development libraries [universe]
2.3.0.1-1build2: amd64 i386
Package libghc-agda-doc
- oneiric (doc):
dependently typed functional programming language - documentation [universe]
2.2.10-3build1: all - precise (doc):
dependently typed functional programming language - documentation [universe]
2.3.0.1-1build2: all - quantal (doc):
dependently typed functional programming language - documentation [universe]
2.3.0.1-1build2: all
Package libghc6-agda-dev
- lucid (haskell):
a dependently typed functional programming language - development libraries [universe]
2.2.6-3: amd64 i386 - natty (haskell):
a dependently typed functional programming language - development libraries [universe]
2.2.10-1~ubuntu1: amd64 i386 - oneiric (haskell):
transitional dummy package [universe]
1:5: all - precise (haskell):
transitional dummy package [universe]
1:6: all - quantal (haskell):
transitional dummy package [universe]
1:6: all
Package libghc6-agda-doc
- natty (doc):
a dependently typed functional programming language - documentation [universe]
2.2.10-1~ubuntu1: all - oneiric (doc):
transitional dummy package [universe]
1:5: all - precise (doc):
transitional dummy package [universe]
1:6: all - quantal (doc):
transitional dummy package [universe]
1:6: all
Package libghc6-agda-prof
- lucid (haskell):
a dependently typed functional programming language - profiling libraries [universe]
2.2.6-3: amd64 i386