Publishing details
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
Changelog
mpfi (1.5.3+ds-6) unstable; urgency=medium
* Debianization:
- d/control:
- Homepage field, update;
- debhelper, migrate to version 13 (discar d/compat);
- Standards-Version, bump to version 4.6.0 (no change);
- d/rules:
- override_dh_missing target, provide;
- d/copyright:
- Upstream-Contact field, refresh;
- Source field, update;
- copyright year tuples, update;
- d/patches:
- d/p/debianization-examples.patch, provide Forwarded field;
- d/watch, migration to gitlab.inria.fr.
-- Jerome Benoit <email address hidden> Fri, 15 Oct 2021 08:03:28 +0000
Builds
Built packages
-
libmpfi-dev
multiple precision floating-point interval computation library -- libdev
-
libmpfi-dev-common
multiple precision floating-point interval computation library -- headers
-
libmpfi-doc
multiple precision floating-point interval computation library -- doc
-
libmpfi0
multiple precision floating-point interval computation library -- lib
-
libmpfi0-dbgsym
debug symbols for libmpfi0
Package files