coqeal - 1.1.1-3 main

Versions in crimson: 1.1.1-3
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)
coqeal_1.1.1-3.dsc 2.2 kB db6fed9dd4405e554c31abd89acd07e89bd1f086ef5f66c6e347ee80d14abe77
coqeal_1.1.1.orig.tar.gz 218.7 kB 15eb51680208d41e584ff51c31c7292dd4b9617eb694f14b33e7d1c9cf1be046
coqeal_1.1.1-3.debian.tar.xz 2.2 kB cb431c609ca2860608ab436231bd971b4d1b5b550ed1e3e33369a708b17765f1