openKylin coq-float package

coq-float 1:8.10.0-ok1 source package in openKylin

Changelog

coq-float (1:8.10.0-ok1) yangtze; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Mon, 25 Apr 2022 22:03:04 +0800

Upload details

Uploaded by:
openKylinBot
Sponsored by:
luzp
Uploaded to:
Yangtze V1.0
Original maintainer:
Openkylin Developers
Architectures:
all
Section:
math
Urgency:
Medium Urgency

Publishing See full publishing history

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
coq-float_8.10.0.orig.tar.gz 96.8 KiB e732b3eec9ceb6fdbc7a110c88f4e85d2b4b37f8fd50fdcb860ffa48bf654cea
coq-float_8.10.0-ok1.debian.tar.xz 2.2 KiB 4ab11bcfb8aaec6d0a40260299ae29e42554737f26af2c4acad87e65e48126b1
coq-float_8.10.0-ok1.dsc 1.7 KiB 131615bb0a3b112717c40b9c23320f21e81707958e9cb338de59eebd72a405ab

View changes file

Binary packages built by this source

libfloat-coq: No summary available for libfloat-coq in openkylin yangtze.

No description available for libfloat-coq in openkylin yangtze.