Format: 1.8 Date: Thu, 02 Jul 2026 15:28:58 +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.5.0 Checksums-Sha1: 49d1ae52dd7e91a74ecd6212d8292b96c5687641 1284 coq-math-classes_8.19.0-1+ocaml1.dsc 39aa2872cb93ed126c608c5fee30657a7f2d9e8f 169013 coq-math-classes_8.19.0.orig.tar.gz 5a1f9c4f74b840163510217363af0d0d19d96ac2 3016 coq-math-classes_8.19.0-1+ocaml1.debian.tar.xz 3b219af0d61cc9af8370b62f90661a366bb836ed 6375 coq-math-classes_8.19.0-1+ocaml1_amd64.buildinfo b0d23fb858c954f2fba14ae8b7ee332316a4762d 2825120 libcoq-math-classes_8.19.0-1+ocaml1_amd64.deb Checksums-Sha256: 6a427f53b129528f0d385e594935c143ae550b13285dcc5edf97258d9f63b767 1284 coq-math-classes_8.19.0-1+ocaml1.dsc 082bcf1cec976e02123fb175538229cb0531fa542d67c7b879520bb431034492 169013 coq-math-classes_8.19.0.orig.tar.gz 9f0e7dd8aaddf2395cda932b152dd0a7dd1d26766ace41bb397611ac4a4aeb56 3016 coq-math-classes_8.19.0-1+ocaml1.debian.tar.xz f54d824584e518e75136d68c7f0a325a61adee37ae2074c7c5f0092c6a7c3ec7 6375 coq-math-classes_8.19.0-1+ocaml1_amd64.buildinfo b0d6438ea90a8053d0a87395d9b70e83c662e6b2366f35bd05762d6f334317a9 2825120 libcoq-math-classes_8.19.0-1+ocaml1_amd64.deb Files: 46945472c9ed8ee70cf24c567b7da05d 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 41fa6e5137a27a13f6b540d48ca92f2a 3016 ocaml optional coq-math-classes_8.19.0-1+ocaml1.debian.tar.xz 7ebdc4bbfaf0e7c2ea798cbdc774c449 6375 ocaml optional coq-math-classes_8.19.0-1+ocaml1_amd64.buildinfo 2fcfb4cf7e13cc23322f91d60dc666b0 2825120 ocaml optional libcoq-math-classes_8.19.0-1+ocaml1_amd64.deb