coq-menhirlib - 20231231+ds-3 main

Versions in dawn: 20231231+ds-3
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_20231231+ds.orig.tar.xz 45.1 kB 261077a28a9c2e5160ccf5b48e892f98c42b273022506d58c9f9f3dab181ea28
coq-menhirlib_20231231+ds-3.dsc 2.1 kB b2f4b233543ae002e5ebfdab0570fca3524cdb46b055e391d748c22a0eed69a9
coq-menhirlib_20231231+ds-3.debian.tar.xz 2.0 kB 459611ee3b8a6f03ba4cd8184cf3520f160b93007065574f97b869ae9666aa0d