Bad confirmation string

Invalid confirmation string: c438086da4ffab66cdd472bcddd3bff3a5f68b69.

Note that confirmation strings expire approximately 3 days after the initial request. They also expire if the request has already been handled in some way. If your confirmation has expired, please try to re-submit your request. Otherwise, re-enter your confirmation string.


YICES-HELP list run by yices-help-list-owner at csl.sri.com
YICES-HELP administrative interface (requires authorization)
Overview of all csl.sri.com mailing lists

Delivered by Mailman
version 2.1.20
Python Powered GNU's Not Unix