» Ubuntu » Paketit » disco (19.04) » math » libaac-tactics-coq
xenial  ] [  bionic  ] [  cosmic  ] [  disco  ] [  eoan  ]
[ Source: aac-tactics  ]

Paketti: libaac-tactics-coq (8.6.1-2) [universe]

Links for libaac-tactics-coq

Screenshot

Ubuntu-palvelut:

Imuroi lähdekoodipaketti aac-tactics:

Ylläpitäjä:

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

Original Maintainers (usually from Debian):

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

External Resources:

Samankaltaisia paketteja:

Coq tactics for reasoning modulo AC (theories)

Muut pakettiin libaac-tactics-coq liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi libaac-tactics-coq

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
all 215.6 kt1,525.0 kt [tiedostoluettelo]