APT Browse

Packages

agda-stdlib-doc 0.8-2 in debian - jessie / main

architectureless

agda-stdlib 0.6-2 in ubuntu - precise / universe

architectureless

agda-stdlib-doc 0.12-2 in debian - stretch / main

architectureless

agda-bin 2.5.3-3build1 in ubuntu - bionic / universe

amd64

libghc-agda-doc 2.5.1.1-3 in debian - stretch / main

architectureless

libghc-agda-dev 2.4.2.5-1build1 in ubuntu - xenial / universe

amd64

libghc-agda-doc 2.4.2.5-1build1 in ubuntu - xenial / universe

architectureless

agda-bin 2.3.2.2-1 in ubuntu - trusty / universe

amd64

agda-mode 2.3.2.2-1 in ubuntu - trusty / universe

architectureless

agda-mode 2.3.0.1-2 in debian - wheezy / main

architectureless

agda-mode 2.3.0.1-1build2 in ubuntu - precise / universe

architectureless

libghc6-agda-dev 1:8 in debian - wheezy / main

architectureless

libghc6-agda-doc 1:8 in debian - wheezy / main

architectureless

agda-stdlib 0.8-2 in debian - jessie / main

architectureless

agda-stdlib 0.7-2 in ubuntu - trusty / universe

architectureless

agda-stdlib-doc 0.14-1 in ubuntu - bionic / universe

architectureless

agda-stdlib 0.11-1 in ubuntu - xenial / universe

architectureless

agedu 9723-1 in ubuntu - xenial / universe

amd64

agedu 8928-1 in ubuntu - precise / universe

amd64

aglfn 1.7-3 in ubuntu - xenial / universe

architectureless

aghermann 1.0-3 in ubuntu - trusty / universe

amd64

aghermann 0.6.0.1-1 in debian - wheezy / main

amd64

aglfn 1.7-1 in ubuntu - precise / universe

architectureless

aggregate 1.6-7 in ubuntu - trusty / universe

amd64

aggregate 1.6-6 in ubuntu - precise / universe

amd64

aghermann 1.1.2-1 in debian - stretch / main

amd64

aghermann 1.0.2-1 in debian - jessie / main

amd64

aglfn 1.7-3 in ubuntu - bionic / universe

architectureless

aglfn 1.7-3 in debian - stretch / main

architectureless

aglfn 1.7-3 in debian - jessie / main

architectureless

aglfn 1.7-1 in debian - wheezy / main

architectureless

aggregate 1.6-7 in ubuntu - xenial / universe

amd64

agtl 0.8.0.3-1 in debian - wheezy / main

architectureless

agenda.app 0.42.2-1 in debian - wheezy / main

amd64

agedu 9723-1 in debian - jessie / main

amd64

aglfn 1.7-3 in ubuntu - trusty / universe

architectureless

aggregate 1.6-7 in debian - jessie / main

amd64

agedu 9723-1 in ubuntu - trusty / universe

amd64

agedu 8928-1 in debian - wheezy / main

amd64

aggregate 1.6-7 in debian - wheezy / main

amd64

‹‹ previous 1 2 3 4 ... 15 16 17 next ››

APT Browse - Built by Thomas Orozco.