» Ubuntu » Paketit » disco (19.04) » math » acl2-emacs
xenial  ] [  bionic  ] [  cosmic  ] [  disco  ] [  eoan  ]
[ Source: acl2  ]

Paketti: acl2-emacs (8.0dfsg-1build1) [universe]

Links for acl2-emacs



Imuroi lähdekoodipaketti acl2:


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: emacs interface

Muut pakettiin acl2-emacs liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances
  • dep: acl2 (>= 8.0dfsg-1build1)
    Computational Logic for Applicative Common Lisp: main binary
  • dep: emacs25
    GNU Emacs transitional package to emacs-gtk
    tai emacsen
    näennäispaketti, jonka toteuttaa emacs-gtk, emacs-lucid, emacs-nox
  • dep: tex-common (>= 6)
    common infrastructure for building and installing TeX

Imuroi acl2-emacs

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
all 59.0 kt286.0 kt [tiedostoluettelo]