Format: 1.8 Date: Sat, 25 Apr 2026 08:52:48 +0200 Source: coq-math-classes Binary: libcoq-math-classes Architecture: source amd64 Version: 8.19.0-1+ocaml1 Distribution: unstable-ocaml Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Anonymous Builder Description: libcoq-math-classes - Abstract interfaces for mathematical structures for Coq Changes: coq-math-classes (8.19.0-1+ocaml1) unstable-ocaml; urgency=medium . * Rebuild for transition ocaml-5.4.1 Checksums-Sha1: 68c996e1e70f799e238277470a2328ddd792207d 1284 coq-math-classes_8.19.0-1+ocaml1.dsc 39aa2872cb93ed126c608c5fee30657a7f2d9e8f 169013 coq-math-classes_8.19.0.orig.tar.gz e3e2de9409ee5e158855afaaf4e9c63bd7e77f13 3016 coq-math-classes_8.19.0-1+ocaml1.debian.tar.xz 12648bddc8e23316d26ef3bec16267a53fbef720 6299 coq-math-classes_8.19.0-1+ocaml1_amd64.buildinfo 2c507bb93cda0313235516285c8c21270cd6c579 2825304 libcoq-math-classes_8.19.0-1+ocaml1_amd64.deb Checksums-Sha256: 14fb2474cd1c305096ca69c638b68b7af8dfffafcc7599f4b256d2d7562c0bb0 1284 coq-math-classes_8.19.0-1+ocaml1.dsc 082bcf1cec976e02123fb175538229cb0531fa542d67c7b879520bb431034492 169013 coq-math-classes_8.19.0.orig.tar.gz c5f87e7f3294abdbd5a0faec0c35574b713276e7a9a8b1fd0134c23cb1597b43 3016 coq-math-classes_8.19.0-1+ocaml1.debian.tar.xz 3705e57b8629d7a4a45debdc8c408a9345919c0a8a0646a3d0de82f72d08f65f 6299 coq-math-classes_8.19.0-1+ocaml1_amd64.buildinfo 42111bf72eef6d9fd4aad7c46520e857ffa94ff0657c4c7c1a2313d286de056b 2825304 libcoq-math-classes_8.19.0-1+ocaml1_amd64.deb Files: d9d7886a070ffa8984e0a5b6452649f7 1284 ocaml optional coq-math-classes_8.19.0-1+ocaml1.dsc 1e4bc4d838d4327be31236da7de0b600 169013 ocaml optional coq-math-classes_8.19.0.orig.tar.gz 24bfedc9c196bc61ad1189fcabfb9ecf 3016 ocaml optional coq-math-classes_8.19.0-1+ocaml1.debian.tar.xz b0b8ffc46ea6ae083873482e5ea3e302 6299 ocaml optional coq-math-classes_8.19.0-1+ocaml1_amd64.buildinfo ca09c3b77bbe347b1f748f54022b006d 2825304 ocaml optional libcoq-math-classes_8.19.0-1+ocaml1_amd64.deb