APT Browse

Packages

libe-book-dev 0.1.2-4 in debian - stretch / main

amd64

libe-book-0.1-1 0.1.2-2ubuntu1 in ubuntu - xenial / main

amd64

boolstuff-dev 0.1.15-1ubuntu1 in ubuntu - xenial / universe

amd64

libe-book-dev 0.1.1-2 in debian - jessie / main

amd64

acl2-books 7.2dfsg-3 in debian - stretch / main

amd64

acl2-books-certs 7.2dfsg-3 in debian - stretch / main

architectureless

acl2-books 7.1-1 in ubuntu - xenial / universe

amd64

acl2-books-source 7.1-1 in ubuntu - xenial / universe

architectureless

acl2-books-source 6.5-2 in debian - jessie / main

architectureless

acl2-books 4.3-3 in debian - wheezy / main

amd64

libedata-book-1.2-25 3.22.7-1 in debian - stretch / main

amd64

libodb-boost-2.4 2.4.0-1build1 in ubuntu - bionic / universe

amd64

r-cran-boolnet 2.1.3-2 in ubuntu - bionic / universe

amd64

boolector 1.4.ffc2089.100608-1 in debian - wheezy / main

amd64

libghc-boomerang-dev 1.4.5.3-1 in ubuntu - bionic / universe

amd64

libghc-boomerang-doc 1.4.5.2-3 in debian - stretch / main

architectureless

libghc-boomerang-doc 1.3.1-1 in debian - wheezy / main

architectureless

gnuchess-book 1.02-1 in ubuntu - xenial / universe

architectureless

boo 0.9.5~git20110729.r1.202a430-2 in debian - jessie / main

architectureless

boomaga 0.7.1-1build3 in ubuntu - xenial / universe

amd64

libghc-boolean-dev 0.2.4-1 in ubuntu - bionic / universe

amd64

libghc-boolean-dev 0.2.3-6 in debian - stretch / main

amd64

libghc-boolean-dev 0.2.1-1 in debian - jessie / main

amd64

boolstuff-dev 0.1.12-3 in ubuntu - precise / universe

amd64

libghc-boolean-dev 0.0.1-2build1 in ubuntu - precise / universe

amd64

acl2-books-source 7.2dfsg-3 in debian - stretch / main

architectureless

acl2-books 6.5-2 in debian - jessie / main

amd64

acl2-books 4.2-1 in ubuntu - precise / universe

amd64

libedata-book1.2-dev 3.4.4-3+deb7u1 in debian - wheezy / main

amd64

libedata-book1.2-dev 3.22.7-1 in debian - stretch / main

amd64

libedata-book1.2-dev 3.18.5-1ubuntu1 in ubuntu - xenial / main

amd64

mh-book 200605-1 in ubuntu - xenial / universe

architectureless

mh-book 200605-1 in debian - wheezy / main

architectureless

libodb-boost-dev 2.4.0-1+b1 in debian - stretch / main

amd64

boogie 2.3.0.61016+dfsg+3.gbp1f2d6c1-1 in ubuntu - bionic / universe

architectureless

libmamda-book-java 2.2.2.1-11.1ubuntu1 in ubuntu - bionic / universe

amd64

r-cran-boolnet 2.1.1-1 in ubuntu - xenial / universe

amd64

elpa-eshell-bookmark 2.0.0-1 in ubuntu - bionic / universe

architectureless

r-cran-boolnet 2.0-1 in debian - jessie / main

amd64

libghc-boomerang-doc 1.4.5.1-1build1 in ubuntu - xenial / universe

architectureless

‹‹ previous 1 2 3 ... 6 7 8 9 10 11 ... 31 32 33 next ››

APT Browse - Built by Thomas Orozco.