» Ubuntu » 套件 » questing (25.10) » 原始碼 » math » minlog
[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

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

minlog 的相關超連結

Ubuntu 的資源：

維護者：

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.

外部的資源：

  • 主頁 [www.minlog-system.de]
本原始碼套件構建了以下這些二進制套件：
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 (>= 2007-11)
    TeX Live: A decent selection of the TeX Live packages

Download minlog

文件大小(單位: kB)MD5 檢查碼
minlog_4.0.99.20100221-7.dsc 1.4 kB fef1169cb9d8f0eff152319dc894997b
minlog_4.0.99.20100221.orig.tar.gz 1,153.4 kB debaa2592081eac38ba540a620f95897
minlog_4.0.99.20100221-7.debian.tar.xz 4.5 kB 791eda4c164c15ec7e1dd8bd0b733f98
Debian 套件原始碼倉庫(VCS: Git)
https://git.dgit.debian.org/minlog.git
Debian 套件原始碼倉庫(可在線瀏覽)
https://browse.dgit.debian.org/minlog.git/