coq-equations - 1.3-8.16-2 main

Versions in crimson: 1.3-8.16-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.1
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
coq-equations_1.3-8.16-2.dsc 2.2 kB 1c48f52b7bba573f20dfd0865047ef00978561a41c12d552c7285981663f3db7
coq-equations_1.3-8.16.orig.tar.gz 1.1 MB dc0fdbf15d1a6b5d5f83f65fe55d39bba74d21908f1165df0ff4ea3f766f698e
coq-equations_1.3-8.16-2.debian.tar.xz 2.2 kB 6e27164bc1f33e84046e419736f11020151aef2540f88af92d2d41a003f105c8