coq-equations - 1.3-8.19-1 main

Versions in dawn: 1.3-8.19-1
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)
coq-equations_1.3-8.19-1.dsc 2.2 kB c77b5d56399a7b462e704cd3ff82a06c1c754bb51620a1f09084e75999160a55
coq-equations_1.3-8.19.orig.tar.gz 1.1 MB 4d4d1aa0488dd111cb7f520deec6c0f9e41622b884634ad96aee554f899e4198
coq-equations_1.3-8.19-1.debian.tar.xz 2.7 kB b0999e49d5d751556d8b4610649380db3ba3298db76355b4968d6d698c001f25