Format: 1.8
Date: Mon, 08 Apr 2024 09:18:57 +0200
Source: mathcomp-real-closed
Binary: libcoq-mathcomp-real-closed
Built-For-Profiles: noudeb
Architecture: armhf
Version: 2.0.0-1build5
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-023.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-mathcomp-real-closed - Real closed fields for Mathematical Components
Changes:
 mathcomp-real-closed (2.0.0-1build5) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 69cda0f9fa55394e06b3a10911ab8a19c86e297c 2769458 libcoq-mathcomp-real-closed_2.0.0-1build5_armhf.deb
 8b8a58409b87d2b40250aafa623b0b4483343576 7859 mathcomp-real-closed_2.0.0-1build5_armhf.buildinfo
Checksums-Sha256:
 243b111b914cc2fe8dfe90e9581746d7876dad99fe0bb9347663a18afd8b9645 2769458 libcoq-mathcomp-real-closed_2.0.0-1build5_armhf.deb
 49fb748ca1499fad51065d3c9818b30f90be98b3ce521578c42d4ccae16e481a 7859 mathcomp-real-closed_2.0.0-1build5_armhf.buildinfo
Files:
 c7c58cb37d132b92f30e1b506c82ff06 2769458 ocaml optional libcoq-mathcomp-real-closed_2.0.0-1build5_armhf.deb
 7b5d6b3d8374d6d3b818df7a58fcfa24 7859 ocaml optional mathcomp-real-closed_2.0.0-1build5_armhf.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>