coq-float 1:8.10.0-1build1 source package in Ubuntu

Changelog

coq-float (1:8.10.0-1build1) groovy; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Wed, 16 Sep 2020 11:26:38 +0200

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Groovy
Original maintainer:
Debian OCaml Maintainers
Architectures:
all
Section:
libdevel
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Groovy: [FAILEDTOBUILD] amd64

Downloads

File Size SHA-256 Checksum
coq-float_8.10.0.orig.tar.gz 96.8 KiB e732b3eec9ceb6fdbc7a110c88f4e85d2b4b37f8fd50fdcb860ffa48bf654cea
coq-float_8.10.0-1build1.debian.tar.xz 3.4 KiB 6cf43ee2a6181a33b2fc1fca1c0dd3d505acd0e2bc16085de6485fb61bfab2be
coq-float_8.10.0-1build1.dsc 1.9 KiB adb4db7bd47aef81d57b37f83637b3291bf349558397956e59a67caf6f598d3e

View changes file

Binary packages built by this source