coq-math-classes source package in Lunar

libcoq-math-classes: Abstract interfaces for mathematical structures for Coq

Versions published

Release

The package versions that were published when the distribution release was made.

coq-math-classes information

Current version:
8.15.0-4build2
Uploaded:
Urgency:
Medium Urgency

Upstream connections

Launchpad doesn’t know which project and series this package belongs to. Links from distribution packages to upstream project let distribution and upstream maintainers share bugs, patches, and translations efficiently.

There are no projects registered in Launchpad that are a potential match for this source package. Can you help us find one?


Download files from current release (8.15.0-4build2)

File Size SHA-256 Checksum
coq-math-classes_8.15.0.orig.tar.gz 164.0 KiB 3da179923d4d40d531edad391ef2661e456234a36c2140ba77134bb24113983d
coq-math-classes_8.15.0-4build2.debian.tar.xz 2.6 KiB e5afccb413daf0607e2c50b10b4693f1d682ef53c8d4535d5150ec2dfbdd42fe
coq-math-classes_8.15.0-4build2.dsc 2.1 KiB 02e99439e05722649ccb9aeedc9d4a40677e59538535940318e7b73a3a02f955

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies