套件名 描述資訊 原始碼套件名 套件內容 全部搜尋項

[  lucid  ] [  precise  ] [  quantal  ] [  raring  ]

[ 原始碼： minlog  ]

minlog 的相關超連結

Ubuntu 的資源：

• 報告問題
• Ubuntu Changelog
• 版權文件

下載原始碼套件 minlog：

• [minlog_4.0.99.20100221-5.2.dsc]
• [minlog_4.0.99.20100221.orig.tar.gz]
• [minlog_4.0.99.20100221-5.2.debian.tar.gz]

維護者：

• Ubuntu MOTU Developers (郵件存檔)

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

Original Maintainer (usually from Debian):

• Freiric Barral

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

外部的資源：

• 主頁 [www.minlog-system.de]

相似套件：

• proofgeneral-minlog
• coq-theories
• eprover
• eprover-examples
• eprover-doc-html
• coqide
• proofgeneral
• proofgeneral-misc
• proofgeneral-doc
• proofgeneral-coq
• coq

其他與 minlog 有關的套件

依賴

推薦

建議

• dep: plt-scheme

  Racket Programming Environment (transitional package)
  同時作為一個虛擬套件由這些套件提供： racket

  或者 guile

  本虛擬套件由這些套件提供： guile-1.6, guile-1.8, guile-2.0

• rec: emacs23

  The GNU Emacs editor (with GTK+ user interface)
  同時作為一個虛擬套件由這些套件提供： emacs23-lucid, emacs23-nox

  或者 emacs22

  套件暫時不可用

  或者 emacsen

  本虛擬套件由這些套件提供： emacs, emacs23, emacs23-lucid, emacs23-nox, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule

• sug: proofgeneral-minlog

  generic interface for proof assistants - Minlog support

• sug: quack-el

  套件暫時不可用

下載 minlog

下載可用於所有硬體架構的

硬體架構	套件大小	安裝後大小	檔案
all	2,818.5 kB	8,588.0 kB	[文件列表]