» Ubuntu » Pakiety » jammy (22.04LTS) » math » minlog
jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]
[ Pakiet źródłowy: minlog  ]

Pakiet: minlog (4.0.99.20100221-7) [universe]

Odnośniki dla minlog

Screenshot

Zasoby systemu Ubuntu:

Pobieranie pakietu źródłowego minlog:

Opiekun:

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

Original Maintainer (usually from Debian):

  • Debian QA Group

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

Zasoby zewnętrzne:

Podobne pakiety:

Proof assistant based on first order natural deduction calculus

Inne pakiety związane z minlog

  • wymaga
  • poleca
  • sugeruje
  • enhances
  • sug: proofgeneral-minlog
    Pakiet niedostępny
  • sug: quack-el
    Pakiet niedostępny

Pobieranie minlog

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
all 2 567,4 KiB7 555,0 KiB [lista plików]