Toggle navigation
APT Browse
Query
Search
Packages
Query
Components
ubuntu - xenial / main (14 results)
ubuntu - xenial-security / main (4 results)
ubuntu - xenial / universe (91 results)
ubuntu - bionic / main (14 results)
ubuntu - bionic / universe (105 results)
ubuntu - bionic-security / main (3 results)
debian - stretch / main (89 results)
debian - stretch-updates / main (0 result)
debian - wheezy / main (57 results)
debian - wheezy-updates / main (0 result)
ubuntu - trusty / main (14 results)
ubuntu - trusty / universe (93 results)
ubuntu - trusty-security / main (12 results)
ubuntu - precise / main (6 results)
ubuntu - precise / universe (58 results)
ubuntu - precise-security / main (3 results)
debian - jessie / main (84 results)
debian - jessie-updates / main (0 result)
Architectures
amd64 (219 results)
architectureless (428 results)
Search and Filter Results
agda
2.3.0.1-2
in
debian - wheezy / main
architectureless
agda
2.5.1.1-3
in
debian - stretch / main
architectureless
agda
2.4.0.2-2
in
debian - jessie / main
architectureless
agda
2.3.2.2-1
in
ubuntu - trusty / universe
architectureless
elpa-agda2-mode
2.5.3-3build1
in
ubuntu - bionic / universe
architectureless
agda-mode
2.5.3-3build1
in
ubuntu - bionic / universe
architectureless
agda-bin
2.5.1.1-3+b3
in
debian - stretch / main
amd64
agda-mode
2.4.2.5-1build1
in
ubuntu - xenial / universe
architectureless
libghc-agda-dev
2.3.2.2-1
in
ubuntu - trusty / universe
amd64
libghc-agda-dev
2.3.0.1-1build2
in
ubuntu - precise / universe
amd64
agda-bin
2.3.0.1-1
in
ubuntu - precise / universe
amd64
libghc6-agda-doc
1:6
in
ubuntu - precise / universe
architectureless
agda
2.5.3-3build1
in
ubuntu - bionic / universe
architectureless
libghc-agda-dev
2.5.3-3build1
in
ubuntu - bionic / universe
amd64
elpa-agda2-mode
2.5.1.1-3
in
debian - stretch / main
architectureless
agda
2.4.2.5-1build1
in
ubuntu - xenial / universe
architectureless
agda-stdlib-doc
0.7-2
in
ubuntu - trusty / universe
architectureless
agda-stdlib-doc
0.6-2
in
ubuntu - precise / universe
architectureless
agda-stdlib-doc
0.6-2
in
debian - wheezy / main
architectureless
agda-mode
2.5.1.1-3
in
debian - stretch / main
architectureless
agda-bin
2.4.2.5-1build1
in
ubuntu - xenial / universe
amd64
libghc-agda-dev
2.4.0.2-2+b1
in
debian - jessie / main
amd64
libghc-agda-doc
2.4.0.2-2
in
debian - jessie / main
architectureless
libghc-agda-doc
2.3.0.1-1build2
in
ubuntu - precise / universe
architectureless
agda
2.3.0.1-1build2
in
ubuntu - precise / universe
architectureless
haskell-agda-doc
1:8
in
debian - wheezy / main
architectureless
haskell-agda-doc
1:6
in
ubuntu - precise / universe
architectureless
agda-stdlib
0.6-2
in
debian - wheezy / main
architectureless
agda-stdlib
0.14-1
in
ubuntu - bionic / universe
architectureless
agda-stdlib
0.12-2
in
debian - stretch / main
architectureless
agda-stdlib-doc
0.11-1
in
ubuntu - xenial / universe
architectureless
libghc-agda-doc
2.5.3-3build1
in
ubuntu - bionic / universe
architectureless
libghc-agda-dev
2.5.1.1-3+b3
in
debian - stretch / main
amd64
agda-bin
2.4.0.2-2+b1
in
debian - jessie / main
amd64
agda-mode
2.4.0.2-2
in
debian - jessie / main
architectureless
libghc-agda-doc
2.3.2.2-1
in
ubuntu - trusty / universe
architectureless
libghc-agda-dev
2.3.0.1-2+b1
in
debian - wheezy / main
amd64
libghc-agda-doc
2.3.0.1-2
in
debian - wheezy / main
architectureless
agda-bin
2.3.0.1-1
in
debian - wheezy / main
amd64
libghc6-agda-dev
1:6
in
ubuntu - precise / universe
architectureless
‹‹ previous
1
2
3
...
15
16
17
next ››