mathcomp-algebra-tactics - 1.2.4-1 main

Versions in landing: 1.2.4-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)
mathcomp-algebra-tactics_1.2.4-1.dsc 2.3 kB 574436bb62e720f08704d2f498ac80310b12906c4b902f5692ed8b31f8457057
mathcomp-algebra-tactics_1.2.4.orig.tar.gz 59.1 kB a2ea28c801a7bfec14dde89ab22a5054671897c63dd2c60390ea2749dd188805
mathcomp-algebra-tactics_1.2.4-1.debian.tar.xz 9.0 kB 8d1d6a6719ef0bac262819e8a97f58c50522a0d50abb4d227d4204208a9cdd6c