Format: 1.8
Date: Thu, 13 Mar 2025 11:21:43 +0100
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: source amd64
Version: 8.19.0-1+ocaml20250313
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 libcoq-math-classes - Abstract interfaces for mathematical structures for Coq
Changes:
 coq-math-classes (8.19.0-1+ocaml20250313) bookworm-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.3.0
Checksums-Sha1:
 362459122d0a95ce5c6967baa409bcd522f5aef3 1312 coq-math-classes_8.19.0-1+ocaml20250313.dsc
 39aa2872cb93ed126c608c5fee30657a7f2d9e8f 169013 coq-math-classes_8.19.0.orig.tar.gz
 57f5c5cf68cc92b4b29be2e2bf56857fbfbce273 3032 coq-math-classes_8.19.0-1+ocaml20250313.debian.tar.xz
 da6b81a5bd33c8354956b274e19716e2c4207c66 6938 coq-math-classes_8.19.0-1+ocaml20250313_amd64.buildinfo
 4a957382c7dc00b0d40cc8cfe5a1b367331145f2 2825272 libcoq-math-classes_8.19.0-1+ocaml20250313_amd64.deb
Checksums-Sha256:
 707efc3bccc9f7ef0cfaa34bdc16ef78ed01a6580e4694fbf8e036562fbc729f 1312 coq-math-classes_8.19.0-1+ocaml20250313.dsc
 082bcf1cec976e02123fb175538229cb0531fa542d67c7b879520bb431034492 169013 coq-math-classes_8.19.0.orig.tar.gz
 68135f7a6408026b4225629bace482bf040b15354451ea5126988fe52d30a1ba 3032 coq-math-classes_8.19.0-1+ocaml20250313.debian.tar.xz
 597aeb8a7765b0be892be3c1df9b646e4af4e71ac06cb34bafccbcbbca5fcc69 6938 coq-math-classes_8.19.0-1+ocaml20250313_amd64.buildinfo
 1fa799d2bd0763de5c9ee1963d368e0142521c6ffed0c9d83569fae6849baa84 2825272 libcoq-math-classes_8.19.0-1+ocaml20250313_amd64.deb
Files:
 ea46cb476aa0119333d05eb6e7397f7a 1312 ocaml optional coq-math-classes_8.19.0-1+ocaml20250313.dsc
 1e4bc4d838d4327be31236da7de0b600 169013 ocaml optional coq-math-classes_8.19.0.orig.tar.gz
 49fe2c660bcea53fd72083835f4b188b 3032 ocaml optional coq-math-classes_8.19.0-1+ocaml20250313.debian.tar.xz
 206fba587db601b3a3372e2dd4b1bef9 6938 ocaml optional coq-math-classes_8.19.0-1+ocaml20250313_amd64.buildinfo
 775168d6c599721e8c1d0e2481462c0b 2825272 ocaml optional libcoq-math-classes_8.19.0-1+ocaml20250313_amd64.deb