coqprime_8.15-2_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian.
Accepted:
-----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-----
Reply to: