Differential D9754 Diff 23504 pspec_x86_64.xml

Changeset View

Standalone View

pspec_x86_64.xml

This file was added.

				<PISI>
				<Source>
				<Name>z3</Name>
				<Packager>
				<Name>Silke Hofstra</Name>
				<Email>silke@slxh.eu</Email>
				</Packager>
				<License>MIT</License>
				<PartOf>programming.library</PartOf>
				<Summary xml:lang="en">The Z3 Theorem Prover</Summary>
				<Description xml:lang="en">Z3 is a theorem prover from Microsoft Research.
				</Description>
				<Archive type="binary" sha1sum="79eb0752a961b8e0d15c77d298c97498fbc89c5a">https://getsol.us/sources/README.Solus</Archive>
				</Source>
				<Package>
				<Name>z3</Name>
				<Summary xml:lang="en">The Z3 Theorem Prover</Summary>
				<Description xml:lang="en">Z3 is a theorem prover from Microsoft Research.
				</Description>
				<PartOf>programming.library</PartOf>
				<Files>
				<Path fileType="executable">/usr/bin/z3</Path>
				<Path fileType="library">/usr/lib64/libz3.so.4.8</Path>
				<Path fileType="library">/usr/lib64/libz3.so.4.8.9.0</Path>
				</Files>
				</Package>
				<Package>
				<Name>z3-devel</Name>
				<Summary xml:lang="en">Development files for z3</Summary>
				<Description xml:lang="en">Z3 is a theorem prover from Microsoft Research.
				</Description>
				<PartOf>programming.devel</PartOf>
				<RuntimeDependencies>
				<Dependency release="1">z3</Dependency>
				</RuntimeDependencies>
				<Files>
				<Path fileType="header">/usr/include/z3++.h</Path>
				<Path fileType="header">/usr/include/z3.h</Path>
				<Path fileType="header">/usr/include/z3_algebraic.h</Path>
				<Path fileType="header">/usr/include/z3_api.h</Path>
				<Path fileType="header">/usr/include/z3_ast_containers.h</Path>
				<Path fileType="header">/usr/include/z3_fixedpoint.h</Path>
				<Path fileType="header">/usr/include/z3_fpa.h</Path>
				<Path fileType="header">/usr/include/z3_macros.h</Path>
				<Path fileType="header">/usr/include/z3_optimization.h</Path>
				<Path fileType="header">/usr/include/z3_polynomial.h</Path>
				<Path fileType="header">/usr/include/z3_rcf.h</Path>
				<Path fileType="header">/usr/include/z3_spacer.h</Path>
				<Path fileType="header">/usr/include/z3_v1.h</Path>
				<Path fileType="header">/usr/include/z3_version.h</Path>
				<Path fileType="library">/usr/lib64/cmake/z3/Z3Config.cmake</Path>
				<Path fileType="library">/usr/lib64/cmake/z3/Z3ConfigVersion.cmake</Path>
				<Path fileType="library">/usr/lib64/cmake/z3/Z3Targets-relwithdebinfo.cmake</Path>
				<Path fileType="library">/usr/lib64/cmake/z3/Z3Targets.cmake</Path>
				<Path fileType="library">/usr/lib64/libz3.so</Path>
				<Path fileType="data">/usr/lib64/pkgconfig/z3.pc</Path>
				</Files>
				</Package>
				<History>
				<Update release="1">
				<Date>2020-09-30</Date>
				<Version>4.8.9</Version>
				<Comment>Packaging update</Comment>
				<Name>Silke Hofstra</Name>
				<Email>silke@slxh.eu</Email>
				</Update>
				</History>
				</PISI>
				No newline at end of file