[ubuntu/noble-proposed] mathcomp-real-closed 2.0.0-1build1 (Accepted)

Jeremy Bícha jbicha at ubuntu.com
Sun Jan 28 13:32:18 UTC 2024


mathcomp-real-closed (2.0.0-1build1) noble; urgency=medium

  * Rebuild against latest coq libraries

Date: Sun, 28 Jan 2024 08:31:40 -0500
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/mathcomp-real-closed/2.0.0-1build1
-------------- next part --------------
Format: 1.8
Date: Sun, 28 Jan 2024 08:31:40 -0500
Source: mathcomp-real-closed
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.0-1build1
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 mathcomp-real-closed (2.0.0-1build1) noble; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 0d84498cb3faba70d811295a43368f03d9ce3047 2263 mathcomp-real-closed_2.0.0-1build1.dsc
 ed987d17c25991f8ed788ac5b7ccf9944e8c9f78 8944 mathcomp-real-closed_2.0.0-1build1.debian.tar.xz
 0e792d38239909f0961cb36c20c56bd856e73e27 7671 mathcomp-real-closed_2.0.0-1build1_source.buildinfo
Checksums-Sha256:
 f1f1f83bf7ebb360b90d8d9b18a5ba76e20cea192b53932be09139980051979f 2263 mathcomp-real-closed_2.0.0-1build1.dsc
 b276d0c27568550979660f3da28d295c68423637a8638b1b7c455b7840511e7e 8944 mathcomp-real-closed_2.0.0-1build1.debian.tar.xz
 8aa2c0419be9df68b4f8e3eb3383e5619bdc00fba400d1442c7528f61af53c06 7671 mathcomp-real-closed_2.0.0-1build1_source.buildinfo
Files:
 0115a29143170f9f190f958986c65cdb 2263 ocaml optional mathcomp-real-closed_2.0.0-1build1.dsc
 7654ba7167d4c2389d8ed5bedcdcd8c3 8944 ocaml optional mathcomp-real-closed_2.0.0-1build1.debian.tar.xz
 c70e6880b76107978a50cf2e42c6bdca 7671 ocaml optional mathcomp-real-closed_2.0.0-1build1_source.buildinfo


More information about the noble-changes mailing list