Format: 1.8 Date: Fri, 15 May 2026 10:33:10 +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: 628ba1e761f6aea0bbe19e8eee0bc750ea67eed0 1284 coq-math-classes_8.19.0-1+ocaml1.dsc 39aa2872cb93ed126c608c5fee30657a7f2d9e8f 169013 coq-math-classes_8.19.0.orig.tar.gz 586ea201677eeccf3d9582f58c0b00e850c99939 3016 coq-math-classes_8.19.0-1+ocaml1.debian.tar.xz cad1898d095eb7f52735eeb3e1adfe1b06558853 6300 coq-math-classes_8.19.0-1+ocaml1_amd64.buildinfo 2aea0d6ef6bb6b02c3ce7dff5a8f07e0b83c39e8 2825576 libcoq-math-classes_8.19.0-1+ocaml1_amd64.deb Checksums-Sha256: ea17bd9534be88140a4db23a3ae34fcd100cd362f95367d6af066482752ddc9b 1284 coq-math-classes_8.19.0-1+ocaml1.dsc 082bcf1cec976e02123fb175538229cb0531fa542d67c7b879520bb431034492 169013 coq-math-classes_8.19.0.orig.tar.gz 72a291f084b6de2263130ad07049cbbed69a9b820f6ecf089a92ec7090b55dc6 3016 coq-math-classes_8.19.0-1+ocaml1.debian.tar.xz 935a004d7372b6e457fe095e10e6bec6d3554ed08a551ad6ae044f057b846190 6300 coq-math-classes_8.19.0-1+ocaml1_amd64.buildinfo a80d1a9167ecde7f01c241fb534bb07b53e28cc910410468cb728393294d85aa 2825576 libcoq-math-classes_8.19.0-1+ocaml1_amd64.deb Files: ca7c0dc3b098ac26711f103612fb286c 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 d62373e4de19e3d8c1c365d2261c7b8e 3016 ocaml optional coq-math-classes_8.19.0-1+ocaml1.debian.tar.xz beebfc7fe5245ed795f408eae0eddfa0 6300 ocaml optional coq-math-classes_8.19.0-1+ocaml1_amd64.buildinfo 17fa0fe9e40e89c6abed651c8aeee72c 2825576 ocaml optional libcoq-math-classes_8.19.0-1+ocaml1_amd64.deb