all options
bullseye  ] [  bookworm  ] [  sid  ]

Source Package: proofgeneral (4.4.1~pre170114-1.2)

Links for proofgeneral

Debian Resources:

Maintainer:

External Resources:

The following binary packages are built from this source package:
proofgeneral
generic frontend for proof assistants
proofgeneral-doc
generic frontend for proof assistants - documentation

Other Packages Related to proofgeneral

  • build-depends
  • build-depends-indep

Download proofgeneral

FileSize (in kB)MD5 checksum
proofgeneral_4.4.1~pre170114-1.2.dsc 1.9 kB 21b7565fce5cb4e7ac1144322e733d49
proofgeneral_4.4.1~pre170114.orig.tar.xz 9,081.8 kB 56ff3a7d19e7062598664674aa890332
proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz 19.4 kB f93803a132978a784df69075beb0b89a