» Ubuntu » 套件 » resolute (26.04LTS) » 原始碼 » math » minlog

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

原始碼套件： minlog (4.0.99.20100221-8) [universe]

minlog 的相關超連結

Ubuntu 的資源：

維護者：

Ubuntu MOTU Developers (郵件存檔)

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

Original Maintainers (usually from Debian):

Debian Science Maintainers (郵件存檔)
Andreas Tille

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

本原始碼套件構建了以下這些二進制套件：

minlog: Proof assistant based on first order natural deduction calculus

其他與 minlog 有關的套件

完整構建時刻依賴

單獨構建時刻依賴

adep: debhelper-compat (= 13)

套件暫時不可用
adep: racket

extensible programming language in the Scheme family
adep: texlive

TeX Live: A decent selection of the TeX Live packages

Download minlog

文件	大小(單位: kB)	MD5 檢查碼
minlog_4.0.99.20100221-8.dsc	2.0 kB	e8be8202dff8440ce5f77f48de4ecff3
minlog_4.0.99.20100221.orig.tar.gz	1,153.4 kB	debaa2592081eac38ba540a620f95897
minlog_4.0.99.20100221-8.debian.tar.xz	4.3 kB	e83cb434ad54e12d735c2361357b3ce7

Debian 套件原始碼倉庫(VCS: Git): https://salsa.debian.org/science-team/minlog.git
Debian 套件原始碼倉庫(可在線瀏覽): https://salsa.debian.org/science-team/minlog