Format: 1.8 Date: Wed, 11 Nov 2026 14:48:59 +0100 Source: coq-math-classes Binary: libcoq-math-classes Architecture: source amd64 Version: 9.2.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 (9.2.0-1+ocaml1) unstable-ocaml; urgency=medium . * Rebuild for transition ocaml-5.5.2 Checksums-Sha1: 508b2583a7156810850d9cbe27e29078f4202326 1284 coq-math-classes_9.2.0-1+ocaml1.dsc c88ef1700e917829716cce69ded8e13b7caf29aa 169210 coq-math-classes_9.2.0.orig.tar.gz 15ebd7e5f720f6bdfa852dc8c48606b00cfb12b1 3112 coq-math-classes_9.2.0-1+ocaml1.debian.tar.xz a15d4c4837ffbc7c4745e3b29f6d0fa08f31714b 6359 coq-math-classes_9.2.0-1+ocaml1_amd64.buildinfo 63b8c0bc65368ac0754489906f7316eccd1aad90 2872832 libcoq-math-classes_9.2.0-1+ocaml1_amd64.deb Checksums-Sha256: 948e19fda82d121f675c4d2f79b91f2932119eec3dd03f78966de5eeb18e04c8 1284 coq-math-classes_9.2.0-1+ocaml1.dsc f39853f10413b56fe17612d288d9456c540620110eaaf2b50b87d17f28534176 169210 coq-math-classes_9.2.0.orig.tar.gz 74885abef2730d4b5c81db0083486debdafd2001f3b901c49b5e37eabb2fa32a 3112 coq-math-classes_9.2.0-1+ocaml1.debian.tar.xz 3408ccb07387fa748cd25c233db8c4e01d4b5c98606fc3dd97009ca85ff35630 6359 coq-math-classes_9.2.0-1+ocaml1_amd64.buildinfo 480f87bec7adde57264ef597cc6635b0a14c5a8d15fe4342a40dec99e3b1790a 2872832 libcoq-math-classes_9.2.0-1+ocaml1_amd64.deb Files: ba7e99419026bc15beb40618519862b9 1284 ocaml optional coq-math-classes_9.2.0-1+ocaml1.dsc b9c8296a7117b2c077607b281d346e8b 169210 ocaml optional coq-math-classes_9.2.0.orig.tar.gz 0c1a37701b89218c53352183d27d5511 3112 ocaml optional coq-math-classes_9.2.0-1+ocaml1.debian.tar.xz 7275ef11f23a2f336fc828a55f881cbd 6359 ocaml optional coq-math-classes_9.2.0-1+ocaml1_amd64.buildinfo 5fdeb9f6aa27f5cf1331ae8a0eb9c7d0 2872832 ocaml optional libcoq-math-classes_9.2.0-1+ocaml1_amd64.deb