Accepted coqprime 8.15-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coqprime 8.15-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 26 Jan 2023 12:50:43 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coqprime_8.15-2_source.changes
- Debian-source: coqprime
- Debian-suite: unstable
- Debian-version: 8.15-2
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=bm5k95c3dnLXMSO8DWjEJNfhBL8Vomm7S03NtcJNAks=; b=fJp3F/uKGhn0zB9ADSaXQEjmoa MCKsqFgoIrmVhs7Vi5wE6p3L01gy1tLqy9jqUon7tIxMsuY2yenYHW5JjHcD2krivcG8fDd7Jajkg s+AtNodXMY30riE0HdgQnLyG+5fYzhT2drEngFPlbo9pqC5QzYIpSXi/B5xuG2JJGLPUfIBI1sp67 9hLrlSLzLb/LP9OzmVivNrm/C6QgkYUVq2PGw+xjs6gxTvfjRIO9TVEdyv4VrVBQj+16qjjXXu8bk WszvQDrSGdusopKaer9956re628Zh0LHulVG7YLvLPJqC2JrG0yimLG/k2ehh3bFe0ZKJksXnZnLi YLEdauOg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pL1iF-009EbK-0H@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----