mathcomp-analysis source package in Noble

libcoq-mathcomp-analysis: analysis extension for Mathematical Components
libcoq-mathcomp-classical: classical logic extension for Mathematical Components

Versions published

Release

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

mathcomp-analysis information

Current version:
1.0.0-1build4
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 (1.0.0-1build4)

File Size SHA-256 Checksum
mathcomp-analysis_1.0.0.orig.tar.gz 1.1 MiB 73a209ba650aa849d7dc45145fd4930d694fc625dbcf1c0facd04fd8809d71b3
mathcomp-analysis_1.0.0-1build4.debian.tar.xz 9.2 KiB 303279162b54bb8ca9f5192a3a803e1c46947505c8354a48a9c34a77c8605bf3
mathcomp-analysis_1.0.0-1build4.dsc 2.4 KiB b623b258620c85ba17a2e2a1a2211acbac25fa95f1400502c969031e44a85cbc

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies