» Ubuntu » Paquets » disco (19.04) » math » acl2-infix
xenial  ] [  bionic  ] [  cosmic  ] [  disco  ] [  eoan  ]
[ Paquet source : acl2  ]

Paquet : acl2-infix (8.0dfsg-1build1) [universe]

Liens pour acl2-infix

Screenshot

Ressources Ubuntu :

Télécharger le paquet source acl2 :

Responsable :

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.

Paquets similaires :

Computational Logic for Applicative Common Lisp: infix interface

Autres paquets associés à acl2-infix

  • dépendances
  • recommandations
  • suggestions
  • enhances
  • dep: acl2 (= 8.0dfsg-1build1)
    Computational Logic for Applicative Common Lisp: main binary
  • dep: tex-common (>= 6) [amd64]
    common infrastructure for building and installing TeX
  • dep: texlive-latex-recommended
    TeX Live: LaTeX recommended packages
  • rec: acl2-infix-source (= 8.0dfsg-1build1)
    Computational Logic for Applicative Common Lisp: infix source

Télécharger acl2-infix

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
amd64 470,9 ko3 305,0 ko [liste des fichiers]
arm64 459,3 ko3 137,0 ko [liste des fichiers]
armhf 461,5 ko1 846,0 ko [liste des fichiers]
i386 434,2 ko1 875,0 ko [liste des fichiers]
s390x 431,1 ko3 240,0 ko [liste des fichiers]