-----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-----
