source: examples/alice_rt1_typed/Party_ID.pem @ 2225f80

mei_rt2mei_rt2_fix_1meiyap-rt1rt2
Last change on this file since 2225f80 was 0d0c3a9, checked in by Mei <mei@…>, 12 years ago

1) adding missing extern forward declarations that is causing

freeBSD compiled prover to coredump
  • Property mode set to 100644
File size: 1.1 KB
Line 
1-----BEGIN CERTIFICATE-----
2MIIDBjCCAe6gAwIBAgIJAL3t54a+AKAmMA0GCSqGSIb3DQEBBQUAMBAxDjAMBgNV
3BAMTBVBhcnR5MB4XDTEyMDIyMzA4MDIxNFoXDTE1MDIwNzA4MDIxNFowEDEOMAwG
4A1UEAxMFUGFydHkwggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEKAoIBAQCnCZSw
5RNimV7KAVSKPWOkuxd6uF+CHqhQyZoa2PTGjhQuMS3/uysO8ew2QvhxdonjdXBoH
6PejmcIisl29PVU3SYV39cM/SfGdLpwfKRLgTuo2obozfOz+Wo8nNOGHTcjpf278+
7Tiw7MLPXzrmtX618IJrMKxaeiE5jBgJKY4MbpfeJcIFsWAQCbnAZjlrg38zzEgj7
8vxIfe3/oYmd4VGDXz8XeV7SlT5METfnCwk9/Qq+j/e+JoNWfiSeieuTJ0jySzwSh
9z6+d1CCWS9I6B7ZH41IVEV3mXeB90AoORe3+r6rYEkDMmVkozkSUw12GiR6tifeZ
10b+iQbosiJCE9uBQFAgMBAAGjYzBhMA8GA1UdEwEB/wQFMAMBAf8wDgYDVR0PAQH/
11BAQDAgEGMB0GA1UdDgQWBBSioYtPgM74THZq/AuOH661tNskMzAfBgNVHSMEGDAW
12gBSioYtPgM74THZq/AuOH661tNskMzANBgkqhkiG9w0BAQUFAAOCAQEAQRDJY/kq
13CqmA/QATHpySf47I7a9EVSStzpPClJl4jx9Wmo2OUbaoDt30ZkQwUx1WOw1yZxVI
14rs2oT5Hu+2JxcocT4rKxHcHPcurtk/rgtIxw85qOQL6gO7n11noGmGhOgK51+UFA
15RoFYljdZhZnL5uceA2VtSOraoBhNR1YaBEQDwG0YikQyP7jKTSsTNSGsf5oLrR4L
16gjD5tdjq60qRF69E5oCn7hhbIfWbXvZaXpZBWzlvJGP14I0VzuTqZYFBVItAZEij
17ef3II6VwHl9ROmB7SCZ6OKOjMaTQO3lZpeKgnzQP8qnAA5pSD/ILZctCBxZpf31j
1883+qBe7VEAjbJQ==
19-----END CERTIFICATE-----
Note: See TracBrowser for help on using the repository browser.