Format: 1.8
Date: Mon, 24 Jul 2023 08:21:32 +0200
Source: mathcomp-real-closed
Binary: libcoq-mathcomp-real-closed
Built-For-Profiles: noudeb
Architecture: s390x
Version: 1.1.4-2
Distribution: mantic-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-s390x-005.buildd>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
 libcoq-mathcomp-real-closed - Real closed fields for Mathematical Components
Changes:
 mathcomp-real-closed (1.1.4-2) unstable; urgency=medium
 .
   * Team upload
   * Fix call to dune install
Checksums-Sha1:
 7c6485a1c36ad07dbb5afd15cf8c66fca5cdb2b9 2630964 libcoq-mathcomp-real-closed_1.1.4-2_s390x.deb
 9e0a2c918674cd053c7b5379b0daf5669629be7d 6727 mathcomp-real-closed_1.1.4-2_s390x.buildinfo
Checksums-Sha256:
 22f837cca57bee0611c6d6fb56cf238c50473a899ba2d793692eb6936f5c3a74 2630964 libcoq-mathcomp-real-closed_1.1.4-2_s390x.deb
 c92674988221160d38c913cdb67f1aa9375bd721967a697561d092c2c67f2dc3 6727 mathcomp-real-closed_1.1.4-2_s390x.buildinfo
Files:
 9bcaa57eddbce37f1cc4027ea4f1be7a 2630964 ocaml optional libcoq-mathcomp-real-closed_1.1.4-2_s390x.deb
 e83faf606e295c7ed9e1550e35d837c4 6727 ocaml optional mathcomp-real-closed_1.1.4-2_s390x.buildinfo