mathcomp-analysis 0.5.0-3 source package in Ubuntu
Changelog
mathcomp-analysis (0.5.0-3) unstable; urgency=medium * Rework b-deps (Closes: #1009400). -- Julien Puydt <email address hidden> Wed, 13 Apr 2022 15:07:43 +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 | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| mathcomp-analysis_0.5.0-3.dsc | 2.1 KiB | bf9a052cee38b5e66fa26f49e8f6cac21b67e88243d143e56df817381130db8c |
| mathcomp-analysis_0.5.0.orig.tar.gz | 646.5 KiB | 2de36fd2d25c3e1afbb9a094a822f60bd540af551003a0a439a7d180c08d2ad1 |
| mathcomp-analysis_0.5.0-3.debian.tar.xz | 8.2 KiB | 900753fbd912d7a762ab520022095ad0ff0d17d1ba00303fde08a0ebbbb3d715 |
Available diffs
- diff from 0.3.13-1 to 0.5.0-3 (282.9 KiB)
No changes file available.
Binary packages built by this source
- libcoq-mathcomp-analysis: No summary available for libcoq-mathcomp-analysis in ubuntu kinetic.
No description available for libcoq-
mathcomp- analysis in ubuntu kinetic.
