coqeal - 2.0.2-2 main

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

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
coqeal_2.0.2.orig.tar.gz 217.0 kB db2a26aee493f1cbcacbde9e7d88f778407ddf0f197d7c65a7ec1c3e411f2c21
coqeal_2.0.2-2.dsc 1.9 kB 9e9e75d2798892f9a776069fa66405c5cfe0387108fb7e363fe02ee9e69a7fe5
coqeal_2.0.2-2.debian.tar.xz 2.4 kB 55da18b4f09e0c78a06abc953ed8b85e4690d5e40db0c47a42ba24025245880e