mathcomp-algebra-tactics 1.0.0-5 source package in Ubuntu

Changelog

mathcomp-algebra-tactics (1.0.0-5) unstable; urgency=medium

  * Add missing b-deps.

 -- Julien Puydt <email address hidden>  Mon, 13 Jun 2022 14:23:04 +0200

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
mathcomp-algebra-tactics_1.0.0-5.dsc 2.2 KiB 7a4a2a55a3c1f3cb4cd9f8daa0ccb5ac11adceddd24ebe3007bfca0be7a8b662
mathcomp-algebra-tactics_1.0.0.orig.tar.gz 36.4 KiB fa46588280364b64167398c1bdf4e0b20ca21c30f30213be5d12ea14c5242aad
mathcomp-algebra-tactics_1.0.0-5.debian.tar.xz 8.3 KiB 569e52147554df7820d8bfe97fa4766e03524879589350a1b4256743d8c2637f

Available diffs

No changes file available.

Binary packages built by this source

libcoq-mathcomp-algebra-tactics: Ring and field tactics for Mathematical Components

 This package provides the 'ring' and 'field' tactics for
 the Mathematical Components library, that work for any instance
 of 'comRingType' and 'fieldType' through canonical structure inference.
 .
 The Mathematical Components library is a coherent repository of
 general-purpose formalized mathematical theories for the
 Coq proof assistant.