-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 30 Mar 2024 09:59:45 +0100 Source: coqprime Architecture: source Version: 8.19-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coqprime (8.19-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: db9333cf7a0c1f21c6b3d887410366577a523bdc 2149 coqprime_8.19-1.dsc e0804288ae24fe2c8c231430428a8b5cc4dcb40a 996563 coqprime_8.19.orig.tar.gz ea0682e64c0ce3f3c3fe166f17da7086aeaaf013 3304 coqprime_8.19-1.debian.tar.xz 3235f25da413dd4372965149d8e7329a25523dcb 8516 coqprime_8.19-1_source.buildinfo Checksums-Sha256: 805baf00e4d9cf2a148f572b0a891d843c3a8deed96eceaccf9b26746fbc89bf 2149 coqprime_8.19-1.dsc bc70208f591c3f4489fffad3ad58d3457e8e0abdb1894fc84383c957f1c0918d 996563 coqprime_8.19.orig.tar.gz 077e61465808c67b7d5f6f566793b9975be636d0d99b2e1828614f7c29eb8270 3304 coqprime_8.19-1.debian.tar.xz b30da912746c60be404ae6f4283ef6bc72f14f62d1f65d9235907aca66191184 8516 coqprime_8.19-1_source.buildinfo Files: 12aad2263068eff725b56377e3fe6c85 2149 ocaml optional coqprime_8.19-1.dsc 839f8440c7c1b952be0c806d1869a9eb 996563 ocaml optional coqprime_8.19.orig.tar.gz cd9286404692d667be8bc437d55bb6e6 3304 ocaml optional coqprime_8.19-1.debian.tar.xz 3cdde81db9cd0c8e8de7b25eeb3a3b91 8516 ocaml optional coqprime_8.19-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH1KASHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRTkoP/1AXol9ofJBbWusMLRuddHHg6ithnOGT Umv7jInroWoV85DlRwojN/q6JYmzKnQApxXwBjuuW2JWLdSHo6vxLQ9a8HxvfMC7 ar5LEAKePUMK/F1+HfRyLGHL7T14hFZKwrdh4PiNjKkt036oenulFS0vlUiHRjUw aB0GoeZ/Qn/MsTFnWlQBSX5lBCMwTvaSCj8x/KLdJus/tJIq6rrDA6rz/yE2h9ZU +RWGJcLH7FxUjgdFjqzFBhHabg68qk3RK1DziTTGGYbp3OAr7sUBzr7Jv8Scs1A4 fAPii5RKtW9KmkVYtk8HujfVoj88hZO2+s3DfN9XnSMCXm7wZiapHgORUCTWmtEl GOE5AgOTGJHsQUwA+wrAD5ryzrFzmyuQaGYBy71gR1GeB3yCErptmXBk/WY4aDc7 QF357Y3yWf7iX6dgnEljgsdB5g6UFfHOvqHVKsgFbEYaF+K8Icdqw9wEnrovv6Hp 1jWmQIGeVmEcWoviN/5EiOln5/XFoY719wQ/Ysj4DzQBmFA7lu225mkGcUg24cmH QDz81EUXFyB/OX0ffsO3rDLGqb8/jCf4sFFdIM3L0RS1E2zUYfRfq6EBUKrheoMF J7GxDVJtasn0OgL+xUyZu0cLO4E5NQ2TGmIyui6EQpiInjfdRnLHrohLG6KpbyTU mFFWyqjbjKGh =GseZ -----END PGP SIGNATURE-----
