coq-extructures - 0.3.1-3 main

Versions in crimson: 0.3.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)
coq-extructures_0.3.1-3.dsc 2.2 kB 731f7c3bc8a3a6523cf006b83f1da2eb8c1e459e7b78a12d7b2d2813c1f18872
coq-extructures_0.3.1.orig.tar.gz 38.3 kB 5280078a7b847efa8ee11feac792ea4d5c1556d5911c67c5fab93c56dcceb015
coq-extructures_0.3.1-3.debian.tar.xz 2.0 kB 5123184189321873bae00cbb40b96d2d070a996306aa1f460fb77e789f2c2a0e