Search in specific suite: [hardy] [hardy-updates] [hardy-backports] [lucid] [lucid-updates] [lucid-backports] [maverick] [maverick-updates] [maverick-backports] [natty] [natty-updates] [natty-backports] [oneiric] [oneiric-updates] [oneiric-backports] [precise]
Limit search to a specific architecture: [i386] [amd64] [powerpc] [armel]
You have searched for source packages that names contain agda in all suites, all sections, and all architectures. Found 3 matching packages.
Exact hits
Source Package agda
- lucid (haskell): 2.2.6-3 [universe]
Binary packages: agda-mode, haskell-agda-doc, libghc6-agda-dev, libghc6-agda-prof - maverick (haskell): 2.2.6-7build1 [universe]
Binary packages: agda-mode, libghc6-agda-dev, libghc6-agda-doc - natty (haskell): 2.2.10-1~ubuntu1 [universe]
Binary packages: agda-mode, libghc6-agda-dev, libghc6-agda-doc - oneiric (haskell): 2.2.10-3build1 [universe]
Binary packages: agda, agda-mode, libghc-agda-dev, libghc-agda-doc - precise (haskell): 2.3.0-1build2 [universe]
Binary packages: agda, agda-mode, libghc-agda-dev, libghc-agda-doc
Other hits
Source Package agda-bin
- lucid (haskell): 2.2.6-1build1 [universe]
Binary packages: agda-bin - maverick (haskell): 2.2.6-1build1 [universe]
Binary packages: agda-bin - natty (haskell): 2.2.10-1~ubuntu1 [universe]
Binary packages: agda-bin - oneiric (haskell): 2.2.10-2 [universe]
Binary packages: agda-bin - precise (haskell): 2.3.0-1 [universe]
Binary packages: agda-bin
Source Package agda-stdlib
- lucid (libs): 0.3-1ubuntu2 [universe]
Binary packages: agda-stdlib, agda-stdlib-doc - maverick (libs): 0.3-3fakesync [universe]
Binary packages: agda-stdlib, agda-stdlib-doc - natty (libs): 0.5-1~ubuntu1 [universe]
Binary packages: agda-stdlib, agda-stdlib-doc - oneiric (libs): 0.5-1 [universe]
Binary packages: agda-stdlib, agda-stdlib-doc - precise (libs): 0.6-1 [universe]
Binary packages: agda-stdlib, agda-stdlib-doc