coq-unimath - 20220816-2 main

Versions in crimson: 20220816-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-unimath_20220816-2.dsc 2.1 kB 087971ce4047fb9730e685743a9fdce32e87e6dd35afd8cfacaaa1322729e4c1
coq-unimath_20220816.orig.tar.gz 2.0 MB c03a648f95570b7e3726507b6e01e642e2287bfd5ef061aa92c83693043a7920
coq-unimath_20220816-2.debian.tar.xz 1.8 kB 9325da648eba838108aca9aebfd881a2fc40c18b5b554fb42a4d27053c9b58e1