Bug#864839: RFS: yices2/2.6.0-2 [ITP]
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 <bruno@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
Reply to: