всички настройки
[  buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Пакет-източник: minlog (4.0.99.20100221-7)

Връзки за minlog

Ресурси за Debian:

Отговорник:

Външни препратки:

Следните двоични пакети са компилирани от този пакет-източник:
minlog
Proof assistant based on first order natural deduction calculus

Други пакети, свързани с minlog

  • зависимости при компилиране
  • зависимости при компилиране (архитектурно-независими)

Download minlog

ФайлГолемина (в кБ)контролна сума MD5
minlog_4.0.99.20100221-7.dsc 1,4 кБ fef1169cb9d8f0eff152319dc894997b
minlog_4.0.99.20100221.orig.tar.gz 1 153,4 кБ debaa2592081eac38ba540a620f95897
minlog_4.0.99.20100221-7.debian.tar.xz 4,5 кБ 791eda4c164c15ec7e1dd8bd0b733f98
Хранилище на изходния код на пакета (СКП: Git)
https://git.dgit.debian.org/minlog.git
Хранилище на изходния код на пакета (за разглеждане през браузър)
https://browse.dgit.debian.org/minlog.git/