coqeal - 2.1.0-1 main

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

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
coqeal_2.1.0-1.dsc 2.2 kB 2539d6563675c06a53034dd68e281da6c37d3b9b29b18bec9bce7f316f96051c
coqeal_2.1.0.orig.tar.gz 226.7 kB f7720b25c107e3fba2b2f2035fb7ab55ede282513a2154cddf2d37a6e4bc6638
coqeal_2.1.0-1.debian.tar.xz 2.4 kB 3c7a728c8e376c834c0c49cb022169ae43b1439fd192adcefbf7eeb011284f1f