diff options
Diffstat (limited to 'dev-libs/stp')
| -rw-r--r-- | dev-libs/stp/metadata.xml | 35 |
1 files changed, 18 insertions, 17 deletions
diff --git a/dev-libs/stp/metadata.xml b/dev-libs/stp/metadata.xml index 2b1417586ce7..3d6c029bc2f7 100644 --- a/dev-libs/stp/metadata.xml +++ b/dev-libs/stp/metadata.xml @@ -1,15 +1,15 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>jeffrey@icurse.nl</email> - <name>Jeffrey Lin</name> - </maintainer> - <maintainer type="project"> - <email>proxy-maint@gentoo.org</email> - <name>Proxy Maintainers</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="person"> + <email>jeffrey@icurse.nl</email> + <name>Jeffrey Lin</name> + </maintainer> + <maintainer type="project"> + <email>proxy-maint@gentoo.org</email> + <name>Proxy Maintainers</name> + </maintainer> + <longdescription lang="en"> STP is a constraint solver (or SMT solver) aimed at solving constraints of bitvectors and arrays. These types of constraints can be generated by program analysis tools, theorem @@ -17,10 +17,11 @@ intelligent fuzzers, model checkers, and by many other applications. </longdescription> - <upstream> - <remote-id type="github">stp/stp</remote-id> - </upstream> - <use> - <flag name="python">Enable building the Python interface</flag> - </use> -</pkgmetadata> + <upstream> + <remote-id type="github">stp/stp</remote-id> + </upstream> + <use> + <flag name="python">Enable building the Python interface</flag> + </use> + <origin>gentoo-staging</origin> +</pkgmetadata>
\ No newline at end of file |