Format: 1.8 Date: Thu, 26 Sep 2019 20:13:03 +0000 Source: mpfi Binary: libmpfi-dev libmpfi0 Architecture: armhf Version: 1.5.3+ds-3 Distribution: focal-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Jerome Benoit Description: libmpfi-dev - multiple precision floating-point interval computation library -- libmpfi0 - multiple precision floating-point interval computation library -- Closes: 940733 Changes: mpfi (1.5.3+ds-3) unstable; urgency=medium . * Debianization: - debian/control: - debhelper, bump to 12; - Standards Version, bump to 4.4.0 (no change); - libmpfi0-dev, discard (Closes: #940733); - Vcs-* fields, migration to Salsa; - debian/libmpfi0.symbols: - Build-Depends-Package, introduce; - debian/rules: - get-orig-source target, discard. Checksums-Sha1: d37d53e20cd305f637117a3c0f4c3f514297b391 26304 libmpfi-dev_1.5.3+ds-3_armhf.deb 45f80a2332df0cfaf0e550522ae6c32feec3c72c 68584 libmpfi0-dbgsym_1.5.3+ds-3_armhf.ddeb dacf068f622f35e3cf3b0aedc005efb789938932 25324 libmpfi0_1.5.3+ds-3_armhf.deb 4f82ff51a898abcb7e7bd7773eacd9e365886253 5675 mpfi_1.5.3+ds-3_armhf.buildinfo Checksums-Sha256: 7afa89b7027ca9269a4e014f0bc1c48879266f5399e8c73e62023537c4e1f963 26304 libmpfi-dev_1.5.3+ds-3_armhf.deb ff9308b95f54b30a19f8986826acf68fdba581f407d376db4765a97764ff1011 68584 libmpfi0-dbgsym_1.5.3+ds-3_armhf.ddeb 3219b63c3dc1b571a131010164c55f49134552900c1d03e3e717205f240fdeac 25324 libmpfi0_1.5.3+ds-3_armhf.deb 2b46bd77b89ac20d798bc686b270f6f036b7ebe7115b588de9a46d5fe55b3461 5675 mpfi_1.5.3+ds-3_armhf.buildinfo Files: 9bda097a03f1af0ed6594fa19a0be1bb 26304 libdevel optional libmpfi-dev_1.5.3+ds-3_armhf.deb 5551a9b2ca738e8eddebecb4e213538f 68584 debug optional libmpfi0-dbgsym_1.5.3+ds-3_armhf.ddeb d2cd69151b60cd4d4fe888dbcfc4f808 25324 libs optional libmpfi0_1.5.3+ds-3_armhf.deb 9ad6625a84d0977a886167dca8f01560 5675 math optional mpfi_1.5.3+ds-3_armhf.buildinfo