[ Pakiet źródłowy: minlog ]
Pakiet: minlog (4.0.99.20100221-7) [universe]
Odnośniki dla minlog
Zasoby systemu Ubuntu:
Pobieranie pakietu źródłowego minlog:
- [minlog_4.0.99.20100221-7.dsc]
- [minlog_4.0.99.20100221.orig.tar.gz]
- [minlog_4.0.99.20100221-7.debian.tar.xz]
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:
- Strona internetowa [www.minlog-system.de]
Podobne pakiety:
Proof assistant based on first order natural deduction calculus
Inne pakiety związane z minlog
|
|
|
|
-
- rec: emacs25
- Pakiet niedostępny
- lub emacs24
- Pakiet niedostępny
- lub emacsen
- pakiet wirtualny udostępniany przez emacs-gtk, emacs-lucid, emacs-nox, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule
-
- sug: proofgeneral-minlog
- Pakiet niedostępny
-
- sug: quack-el
- Pakiet niedostępny
Pobieranie minlog
| Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| all | 2 567,4 KiB | 7 555,0 KiB | [lista plików] |