coq-reglang - 1.1.3-2 main

Versions in crimson: 1.1.3-2
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-reglang_1.1.3-2.dsc 2.1 kB 9924166d0d0941374a97ec456a2f058910968a274c249ab5ea52b5882267775e
coq-reglang_1.1.3.orig.tar.gz 67.0 kB eb36d5bdd375663f3cd3627f5f3cca54ddfc83982a1f8dc106b2424cf1ca371f
coq-reglang_1.1.3-2.debian.tar.xz 8.4 kB a5476d0f96f5486e858d61b99163c88a59c436d66ba4260e2cca17bfa9dcd003