mathcomp-abel_1.2.1-1_amd64.changes ACCEPTED into unstable
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 13 Sep 2022 16:20:31 +0200
Source: mathcomp-abel
Binary: libcoq-mathcomp-abel
Architecture: source amd64
Version: 1.2.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-mathcomp-abel - Abel-Galois and Abel-Ruffini theorems for Mathematical Components
Closes: 1019692
Changes:
mathcomp-abel (1.2.1-1) unstable; urgency=medium
.
* Initial release. (Closes: #1019692)
Checksums-Sha1:
8219a8b6bb62ec2ff79223109c14a1c3ada826bd 2231 mathcomp-abel_1.2.1-1.dsc
d7b29f10941f133ed4b3862a944a9d420e70b672 74012 mathcomp-abel_1.2.1.orig.tar.gz
740caacf9b317f9a88d5d03ca57636a8b9b63cdb 8356 mathcomp-abel_1.2.1-1.debian.tar.xz
371bbccb80af943434c78854a89b93dab45ff5ee 1278608 libcoq-mathcomp-abel_1.2.1-1_amd64.deb
6e9d08a98c94f60bdafefd0524bbcd413f79dfaf 7380 mathcomp-abel_1.2.1-1_amd64.buildinfo
Checksums-Sha256:
991382a14317ce23db3a6b39e73ff7911864b4bdc7ac36b438d8b3fbb054747e 2231 mathcomp-abel_1.2.1-1.dsc
1f626cff3115794d7753cf2a7a15373579f2ef5d895e8ee5423e4dedae1b2167 74012 mathcomp-abel_1.2.1.orig.tar.gz
5fa214060f32b0af1a67528a50d603aae0da02c66b452eac87f54e85a7363836 8356 mathcomp-abel_1.2.1-1.debian.tar.xz
725a4a5a533b9530dec1c1b6ea54c45fac06b2ff45a6c96ea1baaa8add9202f9 1278608 libcoq-mathcomp-abel_1.2.1-1_amd64.deb
e60fa4e4f198104dfe67daa13d6d10a2e44e9f1eddce4052497f0d84ab875437 7380 mathcomp-abel_1.2.1-1_amd64.buildinfo
Files:
2d407fcf97a7e7b4cf4e3d6c1f0d01ca 2231 ocaml optional mathcomp-abel_1.2.1-1.dsc
69fab55b3bcdca2a8d6a21420bccaa44 74012 ocaml optional mathcomp-abel_1.2.1.orig.tar.gz
25e116bf6c947acda3baa8c70d13017d 8356 ocaml optional mathcomp-abel_1.2.1-1.debian.tar.xz
83190b6538295f6b104adb8a139181f1 1278608 ocaml optional libcoq-mathcomp-abel_1.2.1-1_amd64.deb
16efa662e0815ab57235f53f30b6d3b1 7380 ocaml optional mathcomp-abel_1.2.1-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMgkmUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRMYcQAKQVTtKL+aWHvdhyIkmUqIFs9g0QcccX
dx5njscFEjRhwGrjLYmsoYlFNA71ba7r3XzTJOC+2lR/KKSe4ByGFD1u4ORr9Clg
JuHVA+K81DCVUa4aWAdzwQhecTgBT6cVfrFBjHFMFAILj+I6z9sPo+d5xpCwP8oB
cJY2oWSw3uUWGCfor5oxlm+cyV74l47HrnmAcTJRjG3G181FNrR/YkgoUy3VW0oG
1xBVVnkosW/Y/K+o+8uBtv1UL9WhJkCSNE63lILfrrwSai/A/7hmW3WNN0zHkTxe
iEptsSo5P0gHfskUDVoZ/OF5DksPl/fx7ykmhGaZuXud0szvzxK5OyVyyq2gh4Aw
ITwfITDMNpVqunKVF02gdFtw17VNo4YnsRk6Pv5oVJrJ3AAIvT6Iiv023z9WhCA/
B5F2AD8gxiI6c/eBMbcUBbDOxRPoEqfIE2K/BzRlnqY75XVDCSMq58mBbvH2x+dM
Ge56d8SF8eJ6xuggVVb4/7ijxQuIHnHiID/Z4sxOhbj+N0w0HeTCPeMeuRIWX7yd
pON4xE4NAQb0vjRaZbfIGQim7hgt+ypFRZmywmR/AdQkvN3hQ4gd1unK/ihLicUG
koRY2ejb/vbTQuznURxtIDsclgG+uXWeC5noepV0NvG0ysAy4YORfRvbUNjZ7e+W
6HWTd9MSWihV
=+YcL
-----END PGP SIGNATURE-----
Thank you for your contribution to Debian.
Reply to: