Your confirmation is required to join the YICES-ANNOUNCE mailing list

2024-09-05 Thread yices-announce-confirm+3358b2c6050494a0557869d4818a3ffb19c2508b
Mailing list subscription confirmation notice for mailing list YICES-ANNOUNCE We have received a request from 23.154.177.17 for subscription of your email address, "archive@mail-archive.com", to the yices-annou...@csl.sri.com mailing list. To confirm that you want to be added to this mailing list

Your confirmation is required to join the YICES-HELP mailing list

2024-09-05 Thread yices-help-confirm+c438086da4ffab66cdd472bcddd3bff3a5f68b69
Mailing list subscription confirmation notice for mailing list YICES-HELP We have received a request from 23.154.177.17 for subscription of your email address, "archive@mail-archive.com", to the yices-h...@csl.sri.com mailing list. To confirm that you want to be added to this mailing list, simply

Your confirmation is required to join the SAL-ANNOUNCE mailing list

2024-09-05 Thread sal-announce-confirm+ac15cb59e4f0e5470604007a81d40852c594d99f
Mailing list subscription confirmation notice for mailing list SAL-ANNOUNCE We have received a request from 23.154.177.17 for subscription of your email address, "archive@mail-archive.com", to the sal-annou...@csl.sri.com mailing list. To confirm that you want to be added to this mailing list, si

Your confirmation is required to join the YICES mailing list

2024-09-05 Thread yices-confirm+e914f7fcb1a34262d0847f98de81f1198b2a3a12
Mailing list subscription confirmation notice for mailing list YICES We have received a request from 23.154.177.17 for subscription of your email address, "archive@mail-archive.com", to the yi...@csl.sri.com mailing list. To confirm that you want to be added to this mailing list, simply reply to

Your confirmation is required to join the ICS-ANNOUNCE mailing list

2024-09-05 Thread ics-announce-confirm+5df72a5c00be1d2f9746a3d81f007755efeb64a6
Mailing list subscription confirmation notice for mailing list ICS-ANNOUNCE We have received a request from 23.154.177.17 for subscription of your email address, "archive@mail-archive.com", to the ics-annou...@csl.sri.com mailing list. To confirm that you want to be added to this mailing list, si

Your confirmation is required to join the SAL mailing list

2024-09-05 Thread sal-confirm+248ce3f7b621e8e66dc1a1971fba8ed3106b9508
Mailing list subscription confirmation notice for mailing list SAL We have received a request from 23.154.177.17 for subscription of your email address, "archive@mail-archive.com", to the s...@csl.sri.com mailing list. To confirm that you want to be added to this mailing list, simply reply to thi

Your confirmation is required to join the SAL-HELP mailing list

2024-09-05 Thread sal-help-confirm+6bd55bb6fa557b4a06d71a08556b6da964429596
Mailing list subscription confirmation notice for mailing list SAL-HELP We have received a request from 23.154.177.17 for subscription of your email address, "archive@mail-archive.com", to the sal-h...@csl.sri.com mailing list. To confirm that you want to be added to this mailing list, simply rep

Your confirmation is required to join the ICS mailing list

2024-09-05 Thread ics-confirm+8f16ff4b85e5465590ddd14e206ad354d83fffc6
Mailing list subscription confirmation notice for mailing list ICS We have received a request from 23.154.177.17 for subscription of your email address, "archive@mail-archive.com", to the i...@csl.sri.com mailing list. To confirm that you want to be added to this mailing list, simply reply to thi

Your confirmation is required to join the PVS-Help mailing list

2024-09-05 Thread pvs-help-confirm+c0114a6fce86f5726b0fba53114255764fa0460c
Mailing list subscription confirmation notice for mailing list PVS-Help We have received a request from 23.154.177.17 for subscription of your email address, "archive@mail-archive.com", to the pvs-h...@csl.sri.com mailing list. To confirm that you want to be added to this mailing list, simply rep

Your confirmation is required to join the PVS-ANNOUNCE mailing list

2024-09-05 Thread pvs-announce-confirm+adbb0b04f7d9619742bbd1bc13802df6229627a5
Mailing list subscription confirmation notice for mailing list PVS-ANNOUNCE We have received a request from 23.154.177.17 for subscription of your email address, "archive@mail-archive.com", to the pvs-annou...@csl.sri.com mailing list. To confirm that you want to be added to this mailing list, si

Your confirmation is required to join the PVS mailing list

2024-09-05 Thread pvs-confirm+f8f424bb97498f117f9f49ff41c99da64e1d5e33
Mailing list subscription confirmation notice for mailing list PVS We have received a request from 23.154.177.17 for subscription of your email address, "archive@mail-archive.com", to the p...@csl.sri.com mailing list. To confirm that you want to be added to this mailing list, simply reply to thi

Your confirmation is required to join the ICS-Help mailing list

2024-09-05 Thread ics-help-confirm+3ec0c6421b259c7b8b007bfa48c9bfce983e40c6
Mailing list subscription confirmation notice for mailing list ICS-Help We have received a request from 23.154.177.17 for subscription of your email address, "archive@mail-archive.com", to the ics-h...@csl.sri.com mailing list. To confirm that you want to be added to this mailing list, simply rep