Skip to content
Sections
>> Trisquel >> Packages >> Package Search Results

Search in specific suite: [aramo] [aramo-updates] [aramo-security] [aramo-backports] [nabia] [nabia-updates] [nabia-security] [nabia-backports] [etiona] [etiona-updates] [etiona-security] [etiona-backports]

Limit search to a specific architecture: [i386] [amd64] [armhf] [arm64] [ppc64el]

You have searched for packages that names contain acl2 in all suites, all sections, and all architectures. Found 12 matching packages.

Exact hits

Package acl2

  • aramo (math): Computational Logic for Applicative Common Lisp: main binary
    8.4dfsg-2: amd64 arm64 armhf ppc64el
  • nabia (math): Computational Logic for Applicative Common Lisp: main binary
    8.2dfsg-3build1: amd64 armhf
  • etiona (math): Computational Logic for Applicative Common Lisp: main binary
    8.0dfsg-1: amd64 i386

Other hits

Package acl2-books

  • aramo (math): Computational Logic for Applicative Common Lisp: compiled libraries
    8.4dfsg-2: amd64 arm64 armhf ppc64el
  • nabia (math): Computational Logic for Applicative Common Lisp: compiled libraries
    8.2dfsg-3build1: amd64 armhf
  • etiona (math): Computational Logic for Applicative Common Lisp: compiled libraries
    8.0dfsg-1: amd64 i386

Package acl2-books-certs

  • aramo (math): Computational Logic for Applicative Common Lisp: library certificates
    8.4dfsg-2: all
  • nabia (math): Computational Logic for Applicative Common Lisp: library certificates
    8.2dfsg-3build1: all
  • etiona (math): Computational Logic for Applicative Common Lisp: library certificates
    8.0dfsg-1: all

Package acl2-books-source

  • aramo (math): Computational Logic for Applicative Common Lisp: library sources
    8.4dfsg-2: all
  • nabia (math): Computational Logic for Applicative Common Lisp: library sources
    8.2dfsg-3build1: all
  • etiona (math): Computational Logic for Applicative Common Lisp: library sources
    8.0dfsg-1: all

Package acl2-doc

  • aramo (doc): Computational Logic for Applicative Common Lisp: documentation
    8.4dfsg-2: all
  • nabia (doc): Computational Logic for Applicative Common Lisp: documentation
    8.2dfsg-3build1: all
  • etiona (doc): Computational Logic for Applicative Common Lisp: documentation
    8.0dfsg-1: all

Package acl2-emacs

  • nabia (math): Computational Logic for Applicative Common Lisp: emacs interface
    8.2dfsg-3build1: all
  • etiona (math): Computational Logic for Applicative Common Lisp: emacs interface
    8.0dfsg-1: all

Package acl2-infix

  • aramo (math): Computational Logic for Applicative Common Lisp: infix interface
    8.4dfsg-2: amd64 arm64 armhf ppc64el
  • nabia (math): Computational Logic for Applicative Common Lisp: infix interface
    8.2dfsg-3build1: amd64 armhf
  • etiona (math): Computational Logic for Applicative Common Lisp: infix interface
    8.0dfsg-1: amd64 i386

Package acl2-infix-source

  • aramo (math): Computational Logic for Applicative Common Lisp: infix source
    8.4dfsg-2: all
  • nabia (math): Computational Logic for Applicative Common Lisp: infix source
    8.2dfsg-3build1: all
  • etiona (math): Computational Logic for Applicative Common Lisp: infix source
    8.0dfsg-1: all

Package acl2-source

  • aramo (math): Computational Logic for Applicative Common Lisp: source files
    8.4dfsg-2: all
  • nabia (math): Computational Logic for Applicative Common Lisp: source files
    8.2dfsg-3build1: all
  • etiona (math): Computational Logic for Applicative Common Lisp: source files
    8.0dfsg-1: all

Package elpa-acl2

  • aramo (lisp): Computational Logic for Applicative Common Lisp: emacs interface
    8.4dfsg-2: all

Package librte-acl20.0

  • nabia (libs): Data Plane Development Kit (librte-acl runtime library)
    19.11.1-0ubuntu1: amd64 armhf
  • nabia-updates (libs): Data Plane Development Kit (librte-acl runtime library)
    19.11.14-0ubuntu0.20.04.1: amd64 armhf
  • nabia-security (libs): Data Plane Development Kit (librte-acl runtime library)
    19.11.13-0ubuntu0.20.04.1: amd64 armhf

Package librte-acl22

  • aramo (libs): Data Plane Development Kit (librte-acl runtime library)
    21.11-1build1: amd64 arm64 ppc64el
  • aramo-updates (libs): Data Plane Development Kit (librte-acl runtime library)
    21.11.6-0ubuntu0.22.04.1: amd64 arm64 ppc64el
  • aramo-security (libs): Data Plane Development Kit (librte-acl runtime library)
    21.11.2-0ubuntu0.22.04.1: amd64 arm64 ppc64el