» Ubuntu » Paketit » xenial (16.04LTS) » math » acl2
xenial  ] [  bionic  ] [  cosmic  ] [  disco  ] [  eoan  ]
[ Source: acl2  ]

Paketti: acl2 (7.1-1) [universe]

Links for acl2

Screenshot

Ubuntu-palvelut:

Imuroi lähdekoodipaketti acl2:

Ylläpitäjä:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

  • Camm Maguire

It should generally not be necessary for users to contact the original maintainer.

Samankaltaisia paketteja:

Computational Logic for Applicative Common Lisp: main binary

Muut pakettiin acl2 liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances
  • dep: libc6 (>= 2.15) [ei arm64]
    GNU C Library: Shared libraries
    myös näennäispaketti, jonka toteuttaa libc6-udeb
    dep: libc6 (>= 2.17) [arm64]
  • dep: libgcc1 (>= 1:4.7) [arm64]
    GCC support library
  • dep: libgmp10
    Multiprecision arithmetic library
  • dep: libreadline6 (>= 6.0)
    GNU readline and history libraries, run-time libraries
  • dep: libx11-6
    X11 client-side library
  • rec: acl2-books
    Computational Logic for Applicative Common Lisp: compiled libraries
  • rec: acl2-source
    Computational Logic for Applicative Common Lisp: source files
  • sug: acl2-emacs
    Computational Logic for Applicative Common Lisp: emacs interface

Imuroi acl2

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
amd64 16,872.5 kt209,434.0 kt [tiedostoluettelo]
arm64 15,279.8 kt195,928.0 kt [tiedostoluettelo]
armhf 15,758.3 kt149,607.0 kt [tiedostoluettelo]
i386 16,077.3 kt149,933.0 kt [tiedostoluettelo]
powerpc 13,768.0 kt160,649.0 kt [tiedostoluettelo]