Verification: OK
Using configuration from /usr/lib/ssl/openssl.cnf
Warning: certificate from '/home/runner/workspace/formal/proof-network/translation-releases/783fe111cc284513593634d9/tsa.crt' with subject '/O=Free TSA/OU=TSA/description=This certificate digitally signs documents and time stamp requests made using the freetsa.org online services/CN=www.freetsa.org/emailAddress=busilezas@mailbox.org/L=Wuerzburg/C=DE/ST=Bayern' is not a CA cert
Verification: OK
Using configuration from /usr/lib/ssl/openssl.cnf
Warning: certificate from '/home/runner/workspace/formal/proof-network/translation-releases/783fe111cc284513593634d9/tsa.crt' with subject '/O=Free TSA/OU=TSA/description=This certificate digitally signs documents and time stamp requests made using the freetsa.org online services/CN=www.freetsa.org/emailAddress=busilezas@mailbox.org/L=Wuerzburg/C=DE/ST=Bayern' is not a CA cert
Status info:
Status: Granted.
Status description: unspecified
Failure info: unspecified

TST info:
Version: 1
Policy OID: tsa_policy1
Hash Algorithm: sha256
Message data:
    0000 - 78 3f e1 11 cc 28 45 13-59 36 34 d9 39 d0 aa 25   x?...(E.Y64.9..%
    0010 - 55 ce 32 3c d4 12 38 52-c0 c3 df 7f 63 42 e9 0d   U.2<..8R....cB..
Serial number: 0x08E98E5C
Time stamp: Oct  5 14:52:26 2026 GMT
Accuracy: unspecified
Ordering: yes
Nonce: 0xE8EB9103CE466F8E
TSA: DirName:/O=Free TSA/OU=TSA/description=This certificate digitally signs documents and time stamp requests made using the freetsa.org online services/CN=www.freetsa.org/emailAddress=busilezas@mailbox.org/L=Wuerzburg/C=DE/ST=Bayern
Extensions:
Using configuration from /usr/lib/ssl/openssl.cnf