[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: