coq-reglang - 1.2.1-4 main

Versions in dawn: 1.2.1-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.2
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

  • libcoq-reglang  amd64  amd64  amd64  amd64  amd64  amd64  amd64  amd64  amd64  amd64  arm64  arm64  arm64  arm64  arm64  arm64  arm64  arm64  arm64  arm64 

Build Dependencies

Files

Filename Size Checksum (SHA256)
coq-reglang_1.2.1.orig.tar.gz 69.4 kB 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75
coq-reglang_1.2.1-4.dsc 1.9 kB 55957abab08d2b2a6ca1e75aeccabb9f7e425526db7583253baf45cbc714125e
coq-reglang_1.2.1-4.debian.tar.xz 8.6 kB b53574e1b305bdf83f6ef6fae9c5e443744985c2f8d0a75b0c53d9d980c1d13e