Format: 1.8
Date: Tue, 06 Jan 2026 08:26:12 +0100
Source: coq-equations
Binary: libcoq-equations libcoq-equations-dbgsym
Architecture: source amd64
Version: 1.3.1-8.20-1+ocaml1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 libcoq-equations - Coq library to work with functions defined by equations
Changes:
 coq-equations (1.3.1-8.20-1+ocaml1) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.0
Checksums-Sha1:
 657720bc4bd074541b1c3a9e4dd80fae8b335a30 1300 coq-equations_1.3.1-8.20-1+ocaml1.dsc
 719ca21fb558dfa59ff3577ac7f9ab889ef8b12e 1104362 coq-equations_1.3.1-8.20.orig.tar.gz
 347a2451bf7e917de08f8cf5821343d77d07af65 2828 coq-equations_1.3.1-8.20-1+ocaml1.debian.tar.xz
 c1ed4eb686e87f078a8ad605baacc76ad68b9a76 6676 coq-equations_1.3.1-8.20-1+ocaml1_amd64.buildinfo
 3fba795146126d4874186ee724b2f5034eb14b69 155380 libcoq-equations-dbgsym_1.3.1-8.20-1+ocaml1_amd64.deb
 1a0eb34ade468f20cb9c689c150b7505a2163545 1199616 libcoq-equations_1.3.1-8.20-1+ocaml1_amd64.deb
Checksums-Sha256:
 22660252d0bbeaa5f92595b271af61b4bf2577583c6f04a984bc8199cf969bed 1300 coq-equations_1.3.1-8.20-1+ocaml1.dsc
 6df5b2b25ff94988611e0a5c6c56d3f8b83272ff27f75e5c161b0f1c9b120493 1104362 coq-equations_1.3.1-8.20.orig.tar.gz
 03c699fab10ff5d467a17e90cea19bc1b6a1037c721f4b445155c22ed60f7a62 2828 coq-equations_1.3.1-8.20-1+ocaml1.debian.tar.xz
 abba01cd57124394b83aeb04e4896a9cff1795b446c8b8e52b815fd0dabab90a 6676 coq-equations_1.3.1-8.20-1+ocaml1_amd64.buildinfo
 984965fe1b744772a921951ee5edc4b03e202a2cf71d6cd1ceeff1dc7926c685 155380 libcoq-equations-dbgsym_1.3.1-8.20-1+ocaml1_amd64.deb
 572db53af1ad45f3db765adc45c856e6cd8d08905261b2a4eb993dad6cf4ca7f 1199616 libcoq-equations_1.3.1-8.20-1+ocaml1_amd64.deb
Files:
 7c2c5783f8bed0e86492f1151c11f44e 1300 ocaml optional coq-equations_1.3.1-8.20-1+ocaml1.dsc
 5cfe3dc4c2232a559e866a492917975f 1104362 ocaml optional coq-equations_1.3.1-8.20.orig.tar.gz
 5a9afa8b9495e7ff3f3382c34c3338c6 2828 ocaml optional coq-equations_1.3.1-8.20-1+ocaml1.debian.tar.xz
 ea517e170a29ffd2087216ebec2afdf8 6676 ocaml optional coq-equations_1.3.1-8.20-1+ocaml1_amd64.buildinfo
 48c3562abc5068e14672dac2593e0e22 155380 debug optional libcoq-equations-dbgsym_1.3.1-8.20-1+ocaml1_amd64.deb
 b3d1e0cdb63cddc39a7a7464a2a54686 1199616 ocaml optional libcoq-equations_1.3.1-8.20-1+ocaml1_amd64.deb