coqeal - 2.0.3-1 main

Versions in landing: 2.0.3-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.0.3-1.dsc 2.2 kB ebc5f0bf20f9fd0307aad0ff3b130bfc16e636fcf1c389361e4e0318b0c50bbe
coqeal_2.0.3.orig.tar.gz 217.0 kB 13baecd594e8abae28ec6fd419180e011eda9b9255fa35d628e4e62241554fd1
coqeal_2.0.3-1.debian.tar.xz 2.4 kB e7ac6a97d16cb308f6672fe68b692132d8c46353028ca65acf25eb9bd399faaf