-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 20 Dec 2025 03:58:13 +0100 Source: hol-light Architecture: source Version: 1:3.1.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> Changes: hol-light (1:3.1.0-1) unstable; urgency=medium . * Team upload * New upstream release * Switch debian/watch to version 5 * Bump Standards-Version to 4.7.2 * Remove Rules-Requires-Root Checksums-Sha1: bdbe87294cc9ce6d310f72839ddcc93ae050bd42 1834 hol-light_3.1.0-1.dsc 597e1231b802d35a35445e7c03d1c045501218c8 5539628 hol-light_3.1.0.orig.tar.xz 0d384cbe0520826c4a698eab8a383278787f53b1 10920 hol-light_3.1.0-1.debian.tar.xz Checksums-Sha256: 0a5634a80607497716bfc30e9b50d4a6252aa32dbb02887209d10c14bc636a01 1834 hol-light_3.1.0-1.dsc 381cfbd720fa06487022996e1c77079867e30292f6411d7162dc2056a2e19aa0 5539628 hol-light_3.1.0.orig.tar.xz bf7a129f42404be10e8e7622adda58517d785afe81daa9177f264b3bd47cc5cc 10920 hol-light_3.1.0-1.debian.tar.xz Files: 551b0cbeb80cd1538504084336dcd07d 1834 math optional hol-light_3.1.0-1.dsc e7fb33160150667d18dd711e991005aa 5539628 math optional hol-light_3.1.0.orig.tar.xz 4d90116009adce770ff4ccf323094621 10920 math optional hol-light_3.1.0-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmlGET0SHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCB0MkIAJ3MWAvIjo4vqYJMjwWYMFVcDko8AWnr optn3g0nKpDLib1wusLHAIYrY3T5s3Dq1dnZ67fO3NuES1WhXh93+FwTMgqvlu/T HMtF63W/JtZasKBteYnZiRgr2fDj/HWQ9t3UTYvyB6iy92M3xA3XHvyszCQ97qLL T40mob8HwU9s1BmHZdIVdtJB6pXQa3wyZzphX8KXccmzs17EobhStxLHRxuxPlcr qWzit/cd8nCyS50AZOdEvef/t9O9zQsqdllgbhuVMt2/M4SRIdL6Xz0gcp1LZp5R tbtjCEc3okvWS3jpsRXmbzckjwvzjFrm3Nm8lJ1skbcQC+g0UzHThV0= =KUeZ -----END PGP SIGNATURE-----
