Publishing details
Changelog
sollya (7.0+ds-5) 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/upstream-source-lintian-spelling.patch, introduce;
- d/p/debianization.patch, provide Forwarded field;
- d/p/cross.patch, rename upstream-harden-configure_ac.patch;
- d/libsollya7.symbols, Build-Depends-Package field, provide;
- d/watch, migration to gitlab.inria.fr (remove u/signing-key.asc).
-- Jerome Benoit <email address hidden> Sat, 16 Oct 2021 14:03:19 +0000
Builds
Built packages
-
libsollya-dev
library for safe floating-point code development -- libdev
-
libsollya7
library for safe floating-point code development -- lib
-
libsollya7-dbgsym
debug symbols for libsollya7
-
sollya
library for safe floating-point code development -- tool
-
sollya-dbgsym
debug symbols for sollya
-
sollya-doc
library for safe floating-point code development -- doc
Package files