mathcomp-algebra-tactics - 1.0.0-8 main

Versions in crimson: 1.0.0-8
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)
mathcomp-algebra-tactics_1.0.0-8.dsc 2.3 kB 427102e021b1027cbaccf7b6bc4c851272440010b42257c9303a5ae2d3255484
mathcomp-algebra-tactics_1.0.0.orig.tar.gz 37.2 kB fa46588280364b64167398c1bdf4e0b20ca21c30f30213be5d12ea14c5242aad
mathcomp-algebra-tactics_1.0.0-8.debian.tar.xz 8.7 kB 8bbf9a9d85b0bb47b7c438776dd9fb3bbb9ddbfd272b133f57470e6ab933115f