Format: 1.8
Date: Sun, 24 Mar 2024 21:44:46 +0000
Source: mathcomp-zify
Binary: libcoq-mathcomp-zify
Built-For-Profiles: noudeb
Architecture: s390x
Version: 1.5.0+2.0+8.16-1build3
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-s390x-002.buildd>
Changed-By: Steve Langasek <steve.langasek@ubuntu.com>
Description:
 libcoq-mathcomp-zify - Micromega arithmetic solvers for Mathematical Components
Changes:
 mathcomp-zify (1.5.0+2.0+8.16-1build3) noble; urgency=medium
 .
   * No-change rebuild for new ssreflect ABI
Checksums-Sha1:
 ed7dde323ebf17177645e43af09faf405d01b531 273044 libcoq-mathcomp-zify_1.5.0+2.0+8.16-1build3_s390x.deb
 c9b1df2bbb79cf12318b74b132fa2632f63e503a 7469 mathcomp-zify_1.5.0+2.0+8.16-1build3_s390x.buildinfo
Checksums-Sha256:
 018b766e3d184c83d9a91f345e801b2c0ea3ca541f9ef80d9dc4593d5fafab15 273044 libcoq-mathcomp-zify_1.5.0+2.0+8.16-1build3_s390x.deb
 47a53ba07f9089b080ccf6fc3cd58e66d0f5da7d1dc91d593009aaeb4b061119 7469 mathcomp-zify_1.5.0+2.0+8.16-1build3_s390x.buildinfo
Files:
 494427cf3d58cd600836c84ef0080223 273044 ocaml optional libcoq-mathcomp-zify_1.5.0+2.0+8.16-1build3_s390x.deb
 3203d7aa1520561c036cbd2160ce575d 7469 ocaml optional mathcomp-zify_1.5.0+2.0+8.16-1build3_s390x.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>