-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 25 Jan 2023 13:16:25 +0100 Source: coqprime Architecture: source Version: 8.15-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coqprime (8.15-2) unstable; urgency=medium . * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. Checksums-Sha1: eea0e881eb4326fc3a93284bb99014bf74b0b4ad 2149 coqprime_8.15-2.dsc 2fa1e0a5490870130b907df871bddf001bac0b43 3576 coqprime_8.15-2.debian.tar.xz cefd1b99f8b23f87eeb1266a09dcf49c6e66881e 7545 coqprime_8.15-2_source.buildinfo Checksums-Sha256: af4b16aa2bcb8280e8974fe83471b0b228297c984542317dd848ccf07614732c 2149 coqprime_8.15-2.dsc b9a7d07e3cad92bef068d73c2689745796326c7b9237ff2c38e123975d588003 3576 coqprime_8.15-2.debian.tar.xz 283535ba40382f18b6197ab27208fc817b48f9ce0ecc1d5fabc0d0cd1648b11d 7545 coqprime_8.15-2_source.buildinfo Files: d60327ad52457861ab9cbb8c1a5aaf70 2149 ocaml optional coqprime_8.15-2.dsc a06b866a43f26971f678cdc78e3c5923 3576 ocaml optional coqprime_8.15-2.debian.tar.xz 03d4f241f38a56e46c688aaceb7372d9 7545 ocaml optional coqprime_8.15-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRHawSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRwW8P/AsVs1RWXXUbtI8Yc5hFcu0Lremw0T/C OYq//bYHv2H26R285IsynqK+cKDnCwoEc8bqn07c8Sd4bFbNQhAryMBDQD57ANDu rTWf09Tl3NokrSmCoXUCl7uUxatFYzQ9hSom8LqaV6hagOS6w8Fv5IHLiTKefePG vjqgdt2ZODCuGmh74K74LE2xB63XQgGs4HCELLHsTKUHxZ8v65ikNoQYrMpJXOqH hXZIRSDuERe+nUEBV7XrfI5ZBDKSzKgoBEtSBkFqGxMsazHeFCAlQ47V7SNCqvf5 I95TJNHuptwJKOz8OYLkHaK1ik07HqLjhXvWht7ASv4KpGq8vriF30cpP/WkUrvT iCOPDn/eXj4cCGsdSMuZcGS9CDuOwyRgt49AWN4KMEmhaOCQlh3hYgJNL3iCuZ6U OmIM63M2lbYhxQ28KYQ96jU0+joEMRWYpQH/WRhcPJqT88FKkLvndKh6o9GoBM0l IyTIRcEg1SVjxUU0rwlLSlDHHWJMVQ+BUhScoq2st2Gx6SPTjCGRfkKNK7cjX7O+ bowMlGysGb/bMUonsJzmZw6EprUOiaUhAXf5Yb3uNvr6blm3ZH1ik2Lrkh67zu8g LbTfnSM2VEXRvoqkO8QlYa1ctSvyZ8ekkQuC/ONspIC6BYSKN1Tga9Y+hsVQCYnv vuGAHPNsETeK =S7Fn -----END PGP SIGNATURE-----
