skip the navigation

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

 / Packages / bullseye (oldstable) / Source / math / minlog

[  buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Links for minlog

Debian Resources:

• Bug Reports
• Developer Information
• Debian Changelog
• Copyright File
• Debian Source Repository (Git)
• Debian Patch Tracker

Maintainer:

• Debian QA Group (QA Page)

External Resources:

• Homepage [www.minlog-system.de]

The following binary packages are built from this source package:

minlog

Proof assistant based on first order natural deduction calculus

Other Packages Related to minlog

build-depends

build-depends-indep

• adep: debhelper-compat (= 13)

  Package not available

• 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

File	Size (in kB)	MD5 checksum
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 Package Source Repository (VCS: Git)

https://git.dgit.debian.org/minlog.git

Debian Package Source Repository (Browsable)

https://browse.dgit.debian.org/minlog.git/