-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Archive: xUbuntu_14.04
Codename: xUbuntu_14.04
Origin: obs://build.opensuse.org/home:delcypher:z3/xUbuntu_14.04
Label: home:delcypher:z3
Architectures: amd64
Date: Sat Sep 14 10:59:55 2019
Description: Z3 SMT solver (xUbuntu_14.04)
MD5Sum:
 3889eff096435b5ba7374aecec06bc6b 4942 Packages
 244ac1f27f17fc2467ce82d8f0bbe8cf 1593 Packages.gz
 883e444f683debc46610db9052f1f67f 892 Sources
 a72bec0fb739ddb8890a610eaac1693b 534 Sources.gz
SHA1:
 4962d3792ecee7ebe94ee8f36220b34ec06d052b 4942 Packages
 8811dce77ec4efe6ca26120da62e7522fd15eb70 1593 Packages.gz
 0fe94dc7dde91b9181f19c55657e8b992bcd5198 892 Sources
 20df1d1281526bafedf5619ee50bb8593af0c093 534 Sources.gz
SHA256:
 49dbc89d0d37d8f7e4604d744fe025db55fa1444b7a8dfc4528df63d297d5e95 4942 Packages
 c0a6db1dc99abd3690fe0281badd0878ac31fc5b6e7afa7bf6ff05a9bbfa51d5 1593 Packages.gz
 a88262018c3e2ef101e3762a88e2e14dcb00ad462ec8ff7756c98b91bb5f0600 892 Sources
 2980777c1b9d47e8a0fed2c751b19a69cd97a016877cb56bfb3f1ebf6cfaa29b 534 Sources.gz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.7 (GNU/Linux)

iD8DBQFdfMgroYYVY9ww1cYRAnKjAKCL+e7OO+zBsIRBmudap2AYvQwe0ACgv5T1
e7sHSFWUsZhKbH6HiMsTqYE=
=/LvH
-----END PGP SIGNATURE-----