mathcomp-algebra-tactics - 1.2.3-4 main

Versions in landing: 1.2.3-4
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)
mathcomp-algebra-tactics_1.2.3.orig.tar.gz 58.4 kB a556875e9ed8db1f77474de77c6ae56142c4477a9f11438d70e1f346c90001e4
mathcomp-algebra-tactics_1.2.3-4.dsc 2.1 kB f933afc78d575bbd9fca4a8e0643773757c04b123d86f5c381fa2bdef94b17a6
mathcomp-algebra-tactics_1.2.3-4.debian.tar.xz 9.0 kB 7ed3a5cf91afef2d42e0220d684772d39d76e3e123348305ee9955963cf7399c