<?xml version='1.0' encoding='UTF-8'?>
<?artifactRepository version='1.1.0'?>
<repository name='de.prob.repository' type='org.eclipse.equinox.p2.artifact.repository.simpleRepository' version='1'>
  <properties size='2'>
    <property name='p2.timestamp' value='1755005112416'/>
    <property name='p2.compressed' value='true'/>
  </properties>
  <mappings size='3'>
    <rule filter='(&amp; (classifier=osgi.bundle))' output='${repoUrl}/plugins/${id}_${version}.jar'/>
    <rule filter='(&amp; (classifier=binary))' output='${repoUrl}/binary/${id}_${version}'/>
    <rule filter='(&amp; (classifier=org.eclipse.update.feature))' output='${repoUrl}/features/${id}_${version}.jar'/>
  </mappings>
  <artifacts size='10'>
    <artifact classifier='osgi.bundle' id='de.prob.eventb.disprover.ui' version='2.2.1.202508121324'>
      <properties size='9'>
        <property name='artifact.size' value='29488'/>
        <property name='download.size' value='29488'/>
        <property name='maven-groupId' value='de.prob'/>
        <property name='maven-artifactId' value='de.prob.eventb.disprover.ui'/>
        <property name='maven-version' value='2.2.1-SNAPSHOT'/>
        <property name='maven-type' value='eclipse-plugin'/>
        <property name='download.checksum.sha-512' value='504ab4c0c8718a8115430d8bd4878b7ebc6add0623e6c1c5a2030f4c32dfcf8dd6c04a9d947865cd3e4c0bf591f450b274630dcf02b3b635e2c2982cb0b7bcfb'/>
        <property name='download.checksum.sha-1' value='4ce48b9683bdf668da495cc07ce4aa71659540bc'/>
        <property name='download.checksum.sha-256' value='626a620e804bd9ede672dfda05ab0e6fd80e811c5222841ced3d3180f2b8c1d3'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.prob.ui' version='7.6.1.202508121324'>
      <properties size='9'>
        <property name='artifact.size' value='376776'/>
        <property name='download.size' value='376776'/>
        <property name='maven-groupId' value='de.prob'/>
        <property name='maven-artifactId' value='de.prob.ui'/>
        <property name='maven-version' value='7.6.1-SNAPSHOT'/>
        <property name='maven-type' value='eclipse-plugin'/>
        <property name='download.checksum.sha-512' value='64e6b20d86c488ad80b34eda7d65505f8277bd2f55787f187ead2765551d1872e949a619373c2a3539ae6c55983333a23eb9af7d06ec6a204440f51ecc7225f1'/>
        <property name='download.checksum.sha-1' value='0cfce8e3606af4375aec61f4da281e70972afc91'/>
        <property name='download.checksum.sha-256' value='66e6574f6a046ebc7fcb0f72a0c6d0b6076af7fef3892c3a7222020d34385994'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='de.prob2.symbolic.feature' version='3.2.1.202508121324'>
      <properties size='10'>
        <property name='artifact.size' value='5569'/>
        <property name='download.size' value='5569'/>
        <property name='maven-groupId' value='de.prob'/>
        <property name='maven-artifactId' value='de.prob2.symbolic.feature'/>
        <property name='maven-version' value='3.2.1-SNAPSHOT'/>
        <property name='maven-type' value='eclipse-feature'/>
        <property name='download.contentType' value='application/zip'/>
        <property name='download.checksum.sha-512' value='09024bf636ff7e9a983ccc976705230ac65412449d8d0b66a2a0bfea9bef7ce00ea36ed263118d27458d768669b6d986f8860510823d8503312705ebbf60f0ca'/>
        <property name='download.checksum.sha-1' value='1394b563bb9e6fd978bfb6b00f90f74b98ff8f47'/>
        <property name='download.checksum.sha-256' value='cd53d66385603e4e38a567d975518538e6200d913acc95ba276bfc82d6f8d6cc'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='de.prob2.feature' version='3.2.1.202508121324'>
      <properties size='10'>
        <property name='artifact.size' value='5644'/>
        <property name='download.size' value='5644'/>
        <property name='maven-groupId' value='de.prob'/>
        <property name='maven-artifactId' value='de.prob2.feature'/>
        <property name='maven-version' value='3.2.1-SNAPSHOT'/>
        <property name='maven-type' value='eclipse-feature'/>
        <property name='download.contentType' value='application/zip'/>
        <property name='download.checksum.sha-512' value='d7d11dba6a0ef07b7152ab1cadeec7464fa32d1e95ac93b4e397ed809d6ba104643c23c25a819d647de60253d6815e39a36bc1538c8cab7c458baa2d3e3a1326'/>
        <property name='download.checksum.sha-1' value='1dd3d7dbc6681a719197869b1af9c7aefc60820c'/>
        <property name='download.checksum.sha-256' value='bdbf2da1ad2f0d3fb8803c9f7a30d0b352973ff728860fa7739996c057db9203'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.prob.core' version='9.6.1.202508121324'>
      <properties size='9'>
        <property name='artifact.size' value='71901986'/>
        <property name='download.size' value='71901986'/>
        <property name='maven-groupId' value='de.prob'/>
        <property name='maven-artifactId' value='de.prob.core'/>
        <property name='maven-version' value='9.6.1-SNAPSHOT'/>
        <property name='maven-type' value='eclipse-plugin'/>
        <property name='download.checksum.sha-512' value='56a15ef3c345942be145fbb675e91d41745be610bdea2e479f7f7c62cae0436dbce7bb47a6675035e311b12bf09b2f46d34e2d3087ec8ba69e4bcae30be4fb72'/>
        <property name='download.checksum.sha-1' value='a176d310937938d4c56ea9d6809da28b44e04b60'/>
        <property name='download.checksum.sha-256' value='9026a4243714ed472b6a34c09cf829ed2f3168a67f9110cb9ac0276786468a82'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.prob.eventb.disprover.core' version='2.2.1.202508121324'>
      <properties size='9'>
        <property name='artifact.size' value='22176'/>
        <property name='download.size' value='22176'/>
        <property name='maven-groupId' value='de.prob'/>
        <property name='maven-artifactId' value='de.prob.eventb.disprover.core'/>
        <property name='maven-version' value='2.2.1-SNAPSHOT'/>
        <property name='maven-type' value='eclipse-plugin'/>
        <property name='download.checksum.sha-512' value='c4868d6e1ee87bbbdb516bc8930e8f83281940a494b8b8a2c0003c00fe2ec59daf82de18ef9d1b6b40152c2a1719d845c6436d7fd9fb03dfe1121682aa527e27'/>
        <property name='download.checksum.sha-1' value='2dd3a0d8ed6af125c8a041fc30d9dba0909348dc'/>
        <property name='download.checksum.sha-256' value='aa9a34eb0898276c741d161d822c9afe5ec207091aadd2b5d00e403a3305197d'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.prob.symbolic' version='7.6.1.202508121324'>
      <properties size='9'>
        <property name='artifact.size' value='10406'/>
        <property name='download.size' value='10406'/>
        <property name='maven-groupId' value='de.prob'/>
        <property name='maven-artifactId' value='de.prob.symbolic'/>
        <property name='maven-version' value='7.6.1-SNAPSHOT'/>
        <property name='maven-type' value='eclipse-plugin'/>
        <property name='download.checksum.sha-512' value='b84080ab64b7acd6c8722ee2381603495ead88a78e76d6911f120c1477d584eb2007af28d9170708a9aba16d5aaca812ff0ca16b3f340ea4008adb0fa8b38363'/>
        <property name='download.checksum.sha-1' value='eba3751468cb7f1b41c204027026a8c5d6f83848'/>
        <property name='download.checksum.sha-256' value='ba61e81c4dc9ece9129168b93e8fee99c8a314244d5ecb6d997f5ff9ece988ca'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='de.prob2.disprover.feature' version='3.2.1.202508121324'>
      <properties size='10'>
        <property name='artifact.size' value='5633'/>
        <property name='download.size' value='5633'/>
        <property name='maven-groupId' value='de.prob'/>
        <property name='maven-artifactId' value='de.prob2.disprover.feature'/>
        <property name='maven-version' value='3.2.1-SNAPSHOT'/>
        <property name='maven-type' value='eclipse-feature'/>
        <property name='download.contentType' value='application/zip'/>
        <property name='download.checksum.sha-512' value='0f83069087040d0ed4c1707fade78e214a8c6fddb70a74e519620159278d3c9649e0b797734dd99d8985cbfe8ce1e4684b8f1e9fbcc3c0908b07224d6e06e66f'/>
        <property name='download.checksum.sha-1' value='185b2ebbbe65391f3f2054d7635dd59580070eeb'/>
        <property name='download.checksum.sha-256' value='67a352bc054344fa4943cd91a5b85f7526cd6dbd7af2728125588d197d063f36'/>
      </properties>
    </artifact>
    <artifact classifier='osgi.bundle' id='de.bmotionstudio.gef.editor' version='5.7.1.202508121324'>
      <properties size='9'>
        <property name='artifact.size' value='1363624'/>
        <property name='download.size' value='1363624'/>
        <property name='maven-groupId' value='de.prob'/>
        <property name='maven-artifactId' value='de.bmotionstudio.gef.editor'/>
        <property name='maven-version' value='5.7.1-SNAPSHOT'/>
        <property name='maven-type' value='eclipse-plugin'/>
        <property name='download.checksum.sha-512' value='2fbfbcdea605ada9c6aeb4d4215bdfe323565834129fb11ae77a231dae356b698d98e5e1217693cb702181310d784fc33a435b09c16da898afa0770b637bc365'/>
        <property name='download.checksum.sha-1' value='b64335e6089c837574be2cb4adb19e5133eeffdc'/>
        <property name='download.checksum.sha-256' value='98235d5bbb8d814c52b21cd37f693edb3ab94a7688b65eafca51c54c3c57cb41'/>
      </properties>
    </artifact>
    <artifact classifier='org.eclipse.update.feature' id='de.bmotionstudio.feature' version='3.2.1.202508121324'>
      <properties size='10'>
        <property name='artifact.size' value='5743'/>
        <property name='download.size' value='5743'/>
        <property name='maven-groupId' value='de.prob'/>
        <property name='maven-artifactId' value='de.bmotionstudio.feature'/>
        <property name='maven-version' value='3.2.1-SNAPSHOT'/>
        <property name='maven-type' value='eclipse-feature'/>
        <property name='download.contentType' value='application/zip'/>
        <property name='download.checksum.sha-512' value='dbc8d0a1d0db61cab02954b9512032affae1ddfedc54e118f8908b169539faf3c9cf5e81c746b57ddf732a43eeb4843b529444c6794e985c82917374a4367ece'/>
        <property name='download.checksum.sha-1' value='14633635fb739bd2f0069527e026929224bacadd'/>
        <property name='download.checksum.sha-256' value='77a10328e33ac173c628c719ab76bc9bb69c651ce0ad01031d34839098e2a67d'/>
      </properties>
    </artifact>
  </artifacts>
</repository>
