Thank you for your contribution to Debian.
Accepted:
-----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-----
--==============ƒ85218879652343855=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZi5e7wAKCRCb9qggYcy5 IfvhAQDRmAh0+Sq+33YdXO0spE6aEkxcxznZI0px5zhsffAqIwEA3OA3lGNbrKnx 7bsC4FxOgF9hvbtN5Dv73L9Qfa2Z1Q0øFc
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)