все параметры
bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Пакет исходного кода: proofgeneral (4.4.1~pre170114-1.2)

Ссылки для proofgeneral

Ресурсы Debian:

Сопровождающий:

Внешние ресурсы:

Из этого пакета исходного кода собираются следующие двоичные пакеты:
proofgeneral
generic frontend for proof assistants
proofgeneral-doc
generic frontend for proof assistants - documentation

Другие пакеты, относящиеся к proofgeneral

  • для сборки
  • build-depends-indep

Download proofgeneral

ФайлРазмер (в Кб)Контрольная сумма MD5
proofgeneral_4.4.1~pre170114-1.2.dsc 1,9 Кб 21b7565fce5cb4e7ac1144322e733d49
proofgeneral_4.4.1~pre170114.orig.tar.xz 9 081,8 Кб 56ff3a7d19e7062598664674aa890332
proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz 19,4 Кб f93803a132978a784df69075beb0b89a