Ubuntu
mathcomp-real-closed package

mathcomp-real-closed 1.1.2-1 source package in Ubuntu

Changelog

mathcomp-real-closed (1.1.2-1) unstable; urgency=medium

  * Initial release. (Closes: #1010650)

 -- Julien Puydt <email address hidden>  Fri, 06 May 2022 16:23:27 +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-real-closed_1.1.2-1.dsc 2.2 KiB d022df126b059b6b24a9e85d6379453b99797bcb2bf54a54a0ec71f468db912a
mathcomp-real-closed_1.1.2.orig.tar.gz 115.5 KiB 84e0ddf33dbbc249287dfc8fc7874d433c79cee2b335f32b6476a46a71376892
mathcomp-real-closed_1.1.2-1.debian.tar.xz 8.3 KiB 9c98deb618063926e38e8baaf5c94d32539d4917c635515e99f8c83324810e4e

No changes file available.

Binary packages built by this source

libcoq-mathcomp-real-closed: No summary available for libcoq-mathcomp-real-closed in ubuntu kinetic.

No description available for libcoq-mathcomp-real-closed in ubuntu kinetic.