-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 24 Oct 2017 21:12:59 +0200 Source: mathpartir Binary: mathpartir Architecture: source Version: 1.2.0-7 Distribution: unstable Urgency: medium Maintainer: Ralf Treinen <treinen@debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Description: mathpartir - LaTeX macros for typesetting inference rules - transitional packa Closes: 879467 Changes: mathpartir (1.2.0-7) unstable; urgency=medium . * Make this a transitional package to texlive-science (closes: #879467) * Standards-version 4.1.1 Checksums-Sha1: b4f83377ffc9c73110867c7cdea4f82d17d0a658 1914 mathpartir_1.2.0-7.dsc dc1e7abf89fb20439732edc40be9db2178494d1c 2436 mathpartir_1.2.0-7.debian.tar.xz 26f7456223a1a173bd23d3f8333c406fec5f9d80 5356 mathpartir_1.2.0-7_source.buildinfo Checksums-Sha256: 2c77abd12086dac3995ed46b7c2cd55a102db30664da1e87592ed5810f24835e 1914 mathpartir_1.2.0-7.dsc 1042e7374df61dd500bd483874aabc5a1f77424f28bbfb772ab2493361edbd9e 2436 mathpartir_1.2.0-7.debian.tar.xz 9e3463a61758059a5b6d0cf338a694b36612980c9eabc0f1daa41c665fde94da 5356 mathpartir_1.2.0-7_source.buildinfo Files: 28dae99def8fcd9d7ae1624602e35975 1914 oldlibs optional mathpartir_1.2.0-7.dsc 4a6c5eab251488f9ed5d674141b8e7c2 2436 oldlibs optional mathpartir_1.2.0-7.debian.tar.xz 4170ece1b26f47232c6aa09f7a78ed42 5356 oldlibs optional mathpartir_1.2.0-7_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlnvkcMACgkQdFxHZtTK zf9Hzw/9EVbMBEaHGGt5Ujfuw9xM10rfSaKLgxym7fz+Ugvug0YKvALtKkkW4C6G /422LSvxlf4wQ+OYqHg49ncJ0sKTWQG8mAh9oNJRkO3IyWi6hZFz/PcLLlYtYB2H VY69HYjXANpk4LpEtArYS+pi1jQ/641Z8H1A57nppDBBHmZ5A674hlfZIQfeDgaj Hs6p2hSiNcRq99X/OtqydzZud9JDF3BAavz3B9nfB7dtEJIqcCc+zqi/xu6T2dqk JsXAeLx3QbuOupJaMwz8edU1BPSRfDnTxMN3r70ZMHJhrclU7UAvPlKINEgV1pLx Ydf63l2b0QvUJKxpa87snIq8FWDgwo24SnIBVQ5Dejx3x1wE6Pr8pVjSkjpNjxKm kZDdAUR9olphNEX8BwGzeW+3DTa9YMXHjDQesi2bIPGt0leIV5I6ool58Wa67sdZ 3AqcY+y1Ki/AP15BXX2hSwLC6yMuXGpUfUCeL7rNytREjpx7a4kf8/oUUsa54xhT pMtnNy7Lu9Tjd2T4fJN9i5XkbKdnkRj1c4iYRjW7bR247BtxeNRk/ZE9q9yDtaWi 20Kd5IP8zJSqtKgFkCGGjd3+LEB4glxh4uIQ5ItP6QbWEaArRoQv6pwN6LUD9x90 KeOilijqsfvNAKAAc7p95vOqhvvkSC+77Hc2HMzOC3TEWP7CdNQ= =AWh1 -----END PGP SIGNATURE-----
