» Ubuntu » Pakketten » resolute (26.04LTS) » math » minlog

[ jammy ] [ noble ] [ questing ] [ resolute ] [ stonking ]

[ Bron: minlog ]

Pakket: minlog (4.0.99.20100221-8) [universe]

Verwijzigingen voor minlog

Ubuntu bronnen:

Het bronpakket minlog downloaden:

Beheerder:

Ubuntu MOTU Developers (Mailarchief)

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

Original Maintainers (usually from Debian):

Debian Science Maintainers (Mailarchief)
Andreas Tille

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

Externe bronnen:

Homepage [www.minlog-system.de]

Vergelijkbare pakketten:

Proof assistant based on first order natural deduction calculus

Andere aan minlog gerelateerde pakketten

depends

recommends

suggests

enhances

dep: racket

extensible programming language in the Scheme family

of guile

virtueel pakket geboden door guile-2.2, guile-3.0

rec: emacs25

Pakket niet beschikbaar

of emacs24

Pakket niet beschikbaar

of emacsen

virtueel pakket geboden door emacs-gtk, emacs-lucid, emacs-nox, emacs-pgtk, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule

sug: proofgeneral-minlog

Pakket niet beschikbaar
sug: quack-el

Pakket niet beschikbaar

minlog downloaden

Pakket downloaden voor alle beschikbare platforms
Platform	Pakketgrootte	Geïnstalleerde grootte	Bestanden
all	2.588,4 kB	7.643,0 kB	[overzicht]