toutes les options
bullseye  ] [  bookworm  ]

Paquet source : prooftree (0.13-2)

Liens pour prooftree

Ressources Debian :

Responsables :

Ressources externes :

Les paquets binaires suivants sont compilés à partir de ce paquet source :
prooftree
visualisation d’arbre de preuve pour Proof General

Autres paquets associés à prooftree

  • build-depends
  • build-depends-indep

Download prooftree

FichierTaille (en ko)Somme MD5
prooftree_0.13-2.dsc 1,9 ko d95c1cf644c9cc7c16f8fa08d7e40584
prooftree_0.13.orig.tar.gz 110,5 ko c6a984cbdb0c631a2fceda2541df02b2
prooftree_0.13-2.debian.tar.xz 2,4 ko 180dd0d00a17cd94eb640365893c9ac9
Dépôt Debian des paquets source (VCS: Git)
https://salsa.debian.org/ocaml-team/prooftree.git
Dépôt Debian des paquets source (interface web)
https://salsa.debian.org/ocaml-team/prooftree