coquelicot source package in Lunar

libcoq-coquelicot: Coq library for real analysis

Versions published

Release

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

coquelicot information

Current version:
3.2.0-8build2
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 (3.2.0-8build2)

File Size SHA-256 Checksum
coquelicot_3.2.0.orig.tar.gz 271.2 KiB 2a18b378803d1bbe71b528a1b800f94a4f2e1a7f9d3654f12c62355fcacd7d6c
coquelicot_3.2.0-8build2.debian.tar.xz 2.4 KiB 7112ecb433e015b17747f2cf8d319c02044fde06dbceac7eb40b69edb926111d
coquelicot_3.2.0-8build2.dsc 2.0 KiB 82504587f83a34ef2adf49c1ee151791c58dce483ce6f1b492336f80f9165a49

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies