Ubuntu
mathcomp-algebra-tactics package

mathcomp-algebra-tactics 0.3.0-1 source package in Ubuntu

Changelog

mathcomp-algebra-tactics (0.3.0-1) unstable; urgency=medium

  * Initial release. (Closes: #1010014)

 -- Julien Puydt <email address hidden>  Fri, 22 Apr 2022 13:02:06 +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_0.3.0-1.dsc 2.1 KiB 9a8d067b63a95ac535835094750207e6d85bc094ebcb36ab5edd47ac6e2f7c33
mathcomp-algebra-tactics_0.3.0.orig.tar.gz 31.9 KiB 5539bedd4ec15bdccfd52412c618d63b7e69447189bf23289f5169d9e23a8dcc
mathcomp-algebra-tactics_0.3.0-1.debian.tar.xz 8.2 KiB 3b1a757b1d71f13edca6563ef6fd8aa2675a427cb37b596d196df60a2c0e64b1

No changes file available.

Binary packages built by this source

libcoq-mathcomp-algebra-tactics: No summary available for libcoq-mathcomp-algebra-tactics in ubuntu kinetic.

No description available for libcoq-mathcomp-algebra-tactics in ubuntu kinetic.