coq-math-classes - 8.19.0-1 main

Versions in landing: 8.19.0-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders:
  • Julien Puydt <jpuydt [꩜] debian.org>
Format: 3.0 (quilt)
Standards Version: 4.7.0
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
coq-math-classes_8.19.0-1.dsc 2.2 kB 29a1adaaf6631f543640b790762a379e7d1a9d59a046a1e3d1a83a9f3825d86c
coq-math-classes_8.19.0.orig.tar.gz 169.0 kB 082bcf1cec976e02123fb175538229cb0531fa542d67c7b879520bb431034492
coq-math-classes_8.19.0-1.debian.tar.xz 2.9 kB e1d78aaf06c866351820c2bbf4665829c55448007bc6f1a0c0f8d667d9530d07