Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: Z3
Source: https://github.com/Z3Prover/z3

Files: *
Copyright: Microsoft Corporation
License: Expat
