Format: 1.8 Date: Sat, 25 Apr 2026 04:08:46 +0200 Source: coq-math-classes Binary: libcoq-math-classes Architecture: source amd64 Version: 8.19.0-1+ocaml1 Distribution: trixie-backports-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) trixie-backports-ocaml; urgency=medium . * Rebuild for transition ocaml-5.4.1 Checksums-Sha1: 00de15bf87602ff5820105a329912c3e1b310712 1284 coq-math-classes_8.19.0-1+ocaml1.dsc 39aa2872cb93ed126c608c5fee30657a7f2d9e8f 169013 coq-math-classes_8.19.0.orig.tar.gz a15f87954974cff4e9adccbf986ede415eddfd44 3024 coq-math-classes_8.19.0-1+ocaml1.debian.tar.xz 8ee817597f33962be703606dd820f172a23fec6e 6360 coq-math-classes_8.19.0-1+ocaml1_amd64.buildinfo 31c2da4e7e5545ec67013b7b0942e7bcde2903be 2825576 libcoq-math-classes_8.19.0-1+ocaml1_amd64.deb Checksums-Sha256: f7eb34efa19d201ebdee9ad87080d78c7d5d257066f18222dd21154a20dd6d71 1284 coq-math-classes_8.19.0-1+ocaml1.dsc 082bcf1cec976e02123fb175538229cb0531fa542d67c7b879520bb431034492 169013 coq-math-classes_8.19.0.orig.tar.gz 06fbce4507f66539e064c3997948f372550e4dba9122f9128e90ee92bb79a310 3024 coq-math-classes_8.19.0-1+ocaml1.debian.tar.xz c337debf0c19d9baea05245a78c91b6dd2a5bdd470c46d9a333fd056f4527558 6360 coq-math-classes_8.19.0-1+ocaml1_amd64.buildinfo 727f2eee31d84a666ef142b05fb4589c88b3c042be181a540cf4f1688940c001 2825576 libcoq-math-classes_8.19.0-1+ocaml1_amd64.deb Files: 0a36ff88733cec320593bd5ff19a4bb4 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 12ad1d388e50777373a5567b7580b956 3024 ocaml optional coq-math-classes_8.19.0-1+ocaml1.debian.tar.xz 180705b47491d8034d9f362ee094b270 6360 ocaml optional coq-math-classes_8.19.0-1+ocaml1_amd64.buildinfo 47cd59a054127b9a7d248a73b29b2b72 2825576 ocaml optional libcoq-math-classes_8.19.0-1+ocaml1_amd64.deb