prooftree - 0.13-2 main

Versions in crimson: 0.13-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders:
  • Hendrik Tews <hendrik [꩜] askra.de>
Format: 3.0 (quilt)
Standards Version: 3.9.8
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

  • prooftree  amd64  amd64  arm64  arm64 

Build Dependencies

Files

Filename Size Checksum (SHA256)
prooftree_0.13-2.dsc 2.0 kB 2f666cb9fc165b5365425fdbc4a4e8f5751681df9360305e38acde7d0610390d
prooftree_0.13.orig.tar.gz 113.2 kB b08949a7f6a1ea04f4f76c53f24c151ea803fc7309d525e0bcf771bc30273f7c
prooftree_0.13-2.debian.tar.xz 2.5 kB fa84356b16d6388816e42d6c7b3f909739cbbea23eb360f12ba9c5cdf5c35d1c