coq-menhirlib - 20240715+ds-1 main

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

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
coq-menhirlib_20240715+ds-1.dsc 2.1 kB 6985d1bd600cd74da03ea0edde55102b4242502ca451813c927107ede2578c68
coq-menhirlib_20240715+ds.orig.tar.xz 45.1 kB 132fdb31ed6051a0e7d8fff6432f9d5e1ba38c88a55c9aed0e8d4ff142e3a716
coq-menhirlib_20240715+ds-1.debian.tar.xz 2.1 kB 897271ab836ce99f79592604828c02f0498f59712e3c979bb420b1736ebbd3cc