Package: sponsorship-requests Severity: normal [important for RC bugs, wishlist for new packages]
Dear mentors, I am looking for a sponsor for my package "yices2" * Package name : yices2 Version : 2.6.0-2 Upstream Author : Bruno Dutertre <br...@csl.sri.com> * URL : yices.csl.sri.com * License : GPL-3.0 Section : misc It builds those binary packages: libyices2.6 - Yices SMT Solver API Library yices2 - Yices SMT Solver yices2-dbg - Yices SMT Solver yices2-dev - C library for manipulating multivariate polynomials To access further information about this package, please visit the following URL: https://mentors.debian.net/package/yices2 Alternatively, one can download the package with dget using this command: dget -x https://mentors.debian.net/debian/pool/main/y/yices2/yices2_2.6.0-2.dsc More information about hello can be obtained from https://www.example.com. Changes since the last upload: None. Regards, Ian A. Mason