-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 10 Jul 2026 11:18:17 +0200 Source: coq-bignums Binary: libcoq-bignums Architecture: source amd64 Version: 9.0.0+rocq9.2-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-bignums - Coq library for big numbers Changes: coq-bignums (9.0.0+rocq9.2-1) experimental; urgency=medium . * New upstream release. * Rewrite d/watch. * Bump standards-version to 4.7.4. Checksums-Sha1: fa225fd490d411c1444473268be8ead8456d0ed7 2156 coq-bignums_9.0.0+rocq9.2-1.dsc 6f03bd7584cb107b07a5962cd57ada50698243a2 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz 4d1c3080e882a4bc184b238ac40f67393e86ad89 2248 coq-bignums_9.0.0+rocq9.2-1.debian.tar.xz 1849a80a7357ddbfde123f3ca94104056ab5b9e7 7467 coq-bignums_9.0.0+rocq9.2-1_amd64.buildinfo cd406a15d9af0c2836baf8899d150c43f70c8937 1899420 libcoq-bignums_9.0.0+rocq9.2-1_amd64.deb Checksums-Sha256: 1ac2e16618a9a979122b5b99826689f61e25d75e058d97f8ea7240ccae17cb06 2156 coq-bignums_9.0.0+rocq9.2-1.dsc 8a481c68ed79b49cab4906c9929948f8afab4d60fcd586a22d549027521a6025 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz 3ef4ccfcbf9c04a5f54e174e49fed056292a7c52a19b2f4e11c345a7bdfd30b8 2248 coq-bignums_9.0.0+rocq9.2-1.debian.tar.xz 35d3f33abd35c0ebc3b89a4efaf062484a05ec5ce7210a373eb0252584a8cc23 7467 coq-bignums_9.0.0+rocq9.2-1_amd64.buildinfo 8bcdbd72ba14799b88b5b569e9ea6903e75e4f98d5bd1a7d7fb2a9df8f2e0dd8 1899420 libcoq-bignums_9.0.0+rocq9.2-1_amd64.deb Files: 3259f63b35c676546df05fcc8f9f8196 2156 ocaml optional coq-bignums_9.0.0+rocq9.2-1.dsc 6f2f126e7b81df8a6eef1ea81fc58203 117333 ocaml optional coq-bignums_9.0.0+rocq9.2.orig.tar.gz 0d1f7787ef90f324d653c1c98185e996 2248 ocaml optional coq-bignums_9.0.0+rocq9.2-1.debian.tar.xz 2734d75244861137cf433083e0baaefa 7467 ocaml optional coq-bignums_9.0.0+rocq9.2-1_amd64.buildinfo b41ba2f908a5fd3585d088f30c53c35a 1899420 ocaml optional libcoq-bignums_9.0.0+rocq9.2-1_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpQua0ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUc39EACDn7VjXrdy2hOCB3IQhCyh 6Py93bSaUszc+tVmDc3bbNXz90bycHN6GyFwwUjQQJGfCsp5yc47EWlDJA8YB2xH CdHh5ZVuCEtxMT79MJF5od7benC6p9P7smHweU+rPeB5pR0XJyJYSaeS7zbAtQ2P HlDe64nFO5NXtsF5Y/9MgCSUxs4vWfcPZ/25rirnwFIOYe7+M8ilrAg4gpdK0Ejl WqxYHYEeeAmw3Ux5bFvPs0RNTtTCwdGY+GvjJhVfxYr4dH6dJ1DBIdmTAhMluq0r 7Sj4CbpYxgttS2s1zKYvGikh9HUry26g9xIooCDMdmDlIJJoj7CIwKYeDjRzWMEY Axolj/YqN3zdkAVEVB6r7O66e0jBR6qN1WtSiQAJNql8EOA8S9AIXrxTpFkaiF1R bS9QDqiq+IXGMlfOXAOZ3/o1b+S5zORdHv1p/NkrDKvblVg0i5EoPne+/MBtcTRz jisQHGqi8gGxLBV9BA8fFTzOmxTPmUIlfMZ67UoxRt+pEoDftp0EjnrC+VZ2vjRT WeDkfhpouvpd/ndl7LbjdBkCeXUJcb+Nbyuw4WHyD+h5hnLehInW8ai2d2NG2G2d WDiUNuiH0bcM91xbKSUJK62sQzwOTpjj+ctIFAbI5v93fA+yaCDLHMFX4nMbI9qV r0HkTKSLD1gb8o8SmNjeLA== =4zvN -----END PGP SIGNATURE-----
pgpcuBL8Yn26x.pgp
Description: PGP signature
