pub (4)dsa1024/634f31ce454694b5 2004-05-14T20:50:34Z
uid Jürgen Christ <christ.juergen@t-online.de>
sig cert0 634f31ce454694b5 2007-04-13T14:25:30Z [selfsig]
sig cert0 634f31ce454694b5 2005-07-11T18:02:25Z [selfsig]
sig cert0 634f31ce454694b5 2004-05-14T20:50:34Z [selfsig]
sig cert0 c5c0c5c7218d18d7 2005-06-15T11:04:39Z Robert Schiele <pi291@pips01.informatik.uni-mannheim.de>
sig cert0 611c11440c4dd712 2005-06-30T20:00:23Z Jürgen Christ <christ.juergen@t-online.de>
sig cert0 3ce713e2bf0c362f 2006-01-31T08:56:10Z Carl-Christian Kanne <cc@data-ex-machina.com>
uid Juergen christ (Uni Freiburg) <christj@informatik.uni-freiburg.de>
sig cert3 634f31ce454694b5 2015-04-25T15:18:59Z [selfsig]
sig cert0 1fce89125ef57534 2016-08-01T09:53:34Z SMTInterpol Deployment <hoenicke+smtinterpol@gmail.com>
uid Juergen Christ <christj@informatik.uni-freiburg.de>
sig cert3 634f31ce454694b5 2008-10-30T18:50:21Z [selfsig]
sig cert0 90ac201d7bfe5d13 2015-04-27T12:45:08Z Jochen Hoenicke <hoenicke@gmail.com>
uid Juergen Christ (Home@Freiburg) <juergen.christ@versanet.de>
sig cert3 634f31ce454694b5 2007-04-18T12:53:54Z [selfsig]
uid Juergen Christ (Uni Freiburg Mail Address) <juergen.christ@saturn.uni-freiburg.de>
sig cert3 634f31ce454694b5 2007-04-13T14:25:32Z [selfsig]
sig cert3 634f31ce454694b5 2007-04-13T14:22:20Z [selfsig]
uid Juergen Christ (@work) <jchrist@pi3.informatik.uni-mannheim.de>
sig revok 634f31ce454694b5 2007-04-13T14:21:12Z [selfsig]
sig cert3 634f31ce454694b5 2005-07-11T13:23:09Z [selfsig]
sig cert0 3ce713e2bf0c362f 2006-01-31T08:56:16Z Carl-Christian Kanne <cc@data-ex-machina.com>
uid Jürgen Christ <jchrist@rumms.uni-mannheim.de>
sig revok 634f31ce454694b5 2007-06-01T09:56:08Z [selfsig]
sig cert0 634f31ce454694b5 2007-04-13T14:25:32Z [selfsig]
sig cert0 634f31ce454694b5 2005-07-11T18:02:34Z [selfsig]
sig cert0 634f31ce454694b5 2004-05-14T21:22:08Z [selfsig]
sig cert0 c5c0c5c7218d18d7 2005-06-15T11:04:45Z Robert Schiele <pi291@pips01.informatik.uni-mannheim.de>
sig cert0 611c11440c4dd712 2005-06-30T20:00:29Z Jürgen Christ <christ.juergen@t-online.de>
sig cert0 3ce713e2bf0c362f 2006-01-31T08:56:16Z Carl-Christian Kanne <cc@data-ex-machina.com>
sub (4)elgE2048/0740cd0664a0472e 2004-05-14T20:50:34Z
sig sbind 634f31ce454694b5 2004-05-14T20:50:34Z []