Bad confirmation string

Invalid confirmation string: e914f7fcb1a34262d0847f98de81f1198b2a3a12.

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 list run by yices-list-owner at csl.sri.com
YICES 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