bundleName
org.sat4j.core
2.3.6.v20201214

Built: 2024-04-27 at 00:01
Reported: 2024-04-27 at 00:02

This installable unit index report is produced by https://ci.eclipse.org/oomph/job/simrel-analyzer/.

Provider

providerName

PGP Keys

Signed 0x9e3044071b758ebcb7e45673700e4f39bc05364b platform-releng-dev@eclipse.org

Artifacts

429.5K plugins/org.sat4j.core_2.3.6.v20201214.jar

Content Metadata

<unit id="org.sat4j.core" version="2.3.6.v20201214" singleton="false" generation="2"> <update id="org.sat4j.core" range="[0.0.0,2.3.6.v20201214)" severity="0"/> <properties size="8"> <property name="org.eclipse.equinox.p2.name" value="%bundleName"/> <property name="org.eclipse.equinox.p2.provider" value="%providerName"/> <property name="org.eclipse.equinox.p2.bundle.localization" value="plugin"/> <property name="maven-groupId" value="org.ow2.sat4j"/> <property name="maven-artifactId" value="org.ow2.sat4j.core"/> <property name="maven-version" value="2.3.6"/> <property name="maven-repository" value="eclipse.maven.central.mirror"/> <property name="maven-type" value="jar"/> </properties> <provides size="20"> <provided namespace="org.eclipse.equinox.p2.iu" name="org.sat4j.core" version="2.3.6.v20201214 "/> <provided namespace="osgi.bundle" name="org.sat4j.core" version="2.3.6.v20201214 "/> <provided namespace="java.package" name="org.sat4j" version="2.3.6.v20201214"/> <provided namespace="java.package" name="org.sat4j.core" version="2.3.6.v20201214"/> <provided namespace="java.package" name="org.sat4j.minisat" version="2.3.6.v20201214"/> <provided namespace="java.package" name="org.sat4j.minisat.constraints" version="2.3.6.v20201214"/> <provided namespace="java.package" name="org.sat4j.minisat.constraints.card" version="2.3.6.v20201214"/> <provided namespace="java.package" name="org.sat4j.minisat.constraints.cnf" version="2.3.6.v20201214"/> <provided namespace="java.package" name="org.sat4j.minisat.core" version="2.3.6.v20201214"/> <provided namespace="java.package" name="org.sat4j.minisat.learning" version="2.3.6.v20201214"/> <provided namespace="java.package" name="org.sat4j.minisat.orders" version="2.3.6.v20201214"/> <provided namespace="java.package" name="org.sat4j.minisat.restarts" version="2.3.6.v20201214"/> <provided namespace="java.package" name="org.sat4j.opt" version="2.3.6.v20201214"/> <provided namespace="java.package" name="org.sat4j.reader" version="2.3.6.v20201214"/> <provided namespace="java.package" name="org.sat4j.specs" version="2.3.6.v20201214"/> <provided namespace="java.package" name="org.sat4j.tools" version="2.3.6.v20201214"/> <provided namespace="java.package" name="org.sat4j.tools.encoding" version="2.3.6.v20201214"/> <provided namespace="java.package" name="org.sat4j.tools.xplain" version="2.3.6.v20201214"/> <provided namespace="osgi.identity" name="org.sat4j.core" version="2.3.6.v20201214"> <properties size="1"> <property name="type" value="osgi.bundle"/> </properties> </provided> <provided namespace="org.eclipse.equinox.p2.eclipse.type" name="bundle" version="1.0.0 "/> </provides> <requires size="2"> <requiredProperties namespace="osgi.ee" match="(&(osgi.ee=JavaSE)(version=1.5))"> <description> org.sat4j.core </description> </requiredProperties> <required namespace="org.eclipse.equinox.p2.iu" name="org.sat4j.core.source" range="[2.3.6.v20201214,2.3.6.v20201214] " optional="true"> <filter> (org.eclipse.update.install.sources=true) </filter> </required> </requires> <artifacts size="1"> <artifact classifier="osgi.bundle" id="org.sat4j.core" version="2.3.6.v20201214"/> </artifacts> <touchpoint id="org.eclipse.equinox.p2.osgi" version="1.0.0"/> <touchpointData size="1"> <instructions size="1"> <instruction key="manifest"> Bundle-SymbolicName: org.sat4j.core Bundle-Version: 2.3.6.v20201214 </instruction> </instructions> </touchpointData> </unit>