coq-menhirlib - 20220210+ds-4 main

Versions in crimson: 20220210+ds-4
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders:
  • Julien Puydt <jpuydt [꩜] debian.org>
Format: 3.0 (quilt)
Standards Version: 4.6.1
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
coq-menhirlib_20220210+ds-4.dsc 2.1 kB 81caadee17fc028cb1f634a85a2989d5d438443986139fd86f35d248b9c392aa
coq-menhirlib_20220210+ds.orig.tar.xz 38.2 kB 8a8916c99b2c033bb0848db6beaed5db78e67f308bd704e7f498f1861a9c77b1
coq-menhirlib_20220210+ds-4.debian.tar.xz 1.8 kB a02b65737b30e5ea82fdf17db5f086ec4a52137b36d8cd9c3140c7c17431a56a