Accepted mathcomp-bigenough 1.0.1-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted mathcomp-bigenough 1.0.1-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 05 May 2022 20:50:08 +0000
- 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:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=1L+Q1+EEJaUiXaY5fyj2yQNk93OtIWpZCsdF1mOExvM=; b=R21kw8Gzw0B/w3WggZpDvec2eo Yg3AJka9af9ZKn5TUmj3C+RiB8yqYFReMPf6mcoH+TBjoMnRMWXG4qj6ZN9ELCGzdy3NE2Td3kosK 8IHKJC/ka01oiG2G6QH+SrhHMIzfNPFaEws+m6gAjjhcfkDrNdApz5YTC+B2yNP8muYqlAdVbKp64 U5QB0Z4rUVrn6AVR7uBrfWbDlUIFBX/Z/3mxgimmHX9LHKMi1uzxz7ZE9Tx3dXxx4PFh7wKo8ExuR 1feH/1i2m4Ugg5vH/AbVylfAG0EXso9tYK7GLfqyjDDUE3fAupzWhhhXC3rdHxV0i+hSXINkbRSat y1OVFuqg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1nmiQK-0005Pu-11@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 05 May 2022 22:31:21 +0200
Source: mathcomp-bigenough
Architecture: source
Version: 1.0.1-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
mathcomp-bigenough (1.0.1-3) unstable; urgency=medium
.
* Depend on a proper Coq ABI.
Checksums-Sha1:
d72afd953c660452035ae6673a57a9aba1a41fc8 2107 mathcomp-bigenough_1.0.1-3.dsc
503e8b406c85a33cb4f2e68817e743c3e92cf828 8460 mathcomp-bigenough_1.0.1-3.debian.tar.xz
b545d2043e86bbeeaa6bd43663b3e57e5d0f8837 6688 mathcomp-bigenough_1.0.1-3_source.buildinfo
Checksums-Sha256:
d690ed138fe49d7a000d84090db6dd10064edd377644c4176d1050bb9761128a 2107 mathcomp-bigenough_1.0.1-3.dsc
3941da95490d31a74a8f18be473834045814830d2ce955972dcb43986c454a64 8460 mathcomp-bigenough_1.0.1-3.debian.tar.xz
ee1f09d1011b222572269beedd47f83ccd6a7ddd2aea2f4188b2f6c299243b6b 6688 mathcomp-bigenough_1.0.1-3_source.buildinfo
Files:
1a989b5046151d9306f415ff2279ca2f 2107 ocaml optional mathcomp-bigenough_1.0.1-3.dsc
6d61fe39d73c0a32f327f1f17c39b99e 8460 ocaml optional mathcomp-bigenough_1.0.1-3.debian.tar.xz
951c92bff5b8abcfbd4182dc6cd0ede8 6688 ocaml optional mathcomp-bigenough_1.0.1-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ0NIkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR1swQAJi3vd4/VugRTuPgeCPc1moIKV0Vd8rs
W9O6QGTnoJaIEBlQeq4N35t7n8VtuU4fI635637z6geJlSod2FheZZ3T+Eh0N80M
rfiuKaCqFZvOPbAai0TsiY7FRJbzraD1aF/Bd3xwNUTWrWXakd8yMsomjoeODbN+
VlRLIqwn89id7ihHSykk5Ie2WkviA5NhXjDV/3KwWc+WZXlEddQQyGnz6fKzR8xw
Qm4dr5qh6kLg10k8MjgDOIEG+/49aRH2e+17pvTyKg0+tfWPBAiOqi5P37KX3rBD
12BQ5LUC/xGJTJF9mT7nKhzqIvLQku+O4WXxMfmVukRZ+rZxqaasJNVUISkvgCax
dlO73rIsd6tfJa/8H5FPaXRKGLCmv/0GyZuEtGyC8jRMHFuh+vgohUu4DryufQPu
kxp8sZ/JfWNDBKgdVveHbpr0Q7c5W6gYdQRGjMFOwC0/Z6CqwZUXxpZyKhrffx74
W72SEhNOFPx9KlsIJB01y37mKkiGwLVRbjnOBf9yLbwDuc830kdRP7ntWLxORbBe
5HqZzb/L2aDsPpzgVsrCQqGkvb/Q/BMM090Ov9aLjXs5UCeGeD+PD9DVTAPJjigJ
5frGs1iVk53vzJmyhnk8TgBiRRjSqVK2sq83MkU5F8J+uwEs1FZkyb1SLZLzuxaN
2Q/kiGiSqdSv
=P2vF
-----END PGP SIGNATURE-----