Skip to content
Snippets Groups Projects
Commit 0c8d02c5 authored by dgelessus's avatar dgelessus
Browse files

Update prob_target.target to current repository URLs and unit versions

I'm editing this by hand and have no idea if I'm doing this right.
Feel free to fix this if you're actually using Eclipse.
parent 03d0d35a
No related branches found
No related tags found
No related merge requests found
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <?xml version="1.0" encoding="UTF-8" standalone="no"?>
<?pde version="3.8"?> <?pde version="3.8"?>
<target name="prob_target" sequenceNumber="45"> <target name="prob_target" sequenceNumber="46">
<locations> <locations>
<location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit"> <location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
<unit id="org.eclipse.gef.sdk.feature.group" version="3.9.101.201408150207"/> <unit id="org.eclipse.gef.sdk.feature.group" version="3.11.0.201606061308"/>
<repository location="https://download.eclipse.org/releases/luna"/> <repository location="https://download.eclipse.org/releases/2022-03/"/>
</location> </location>
<location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit"> <location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
<unit id="org.eventb.ide.feature.group" version="3.3.0.201704022034-f9fbb0d"/> <unit id="org.eventb.ide.feature.group" version="3.8.0.202304051545-af2f57e1e"/>
<unit id="org.rodinp.feature.group" version="1.8.0.201704022034-f9fbb0d"/> <unit id="org.rodinp.feature.group" version="1.9.0.202304051545-af2f57e1e"/>
<repository location="https://stups.hhu-hosting.de/buildlibs/org.rodinp.dev"/> <repository location="https://rodin-b-sharp.sourceforge.net/core-updates/"/>
</location> </location>
<location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit"> <location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
<unit id="org.eventb.theory.feature.feature.group" version="4.0.0.RC1"/> <unit id="org.eventb.theory.feature.feature.group" version="4.0.4.202204011240-f60c57a0"/>
<repository location="https://rodin-b-sharp.sourceforge.net/updates/"/> <repository location="https://rodin-b-sharp.sourceforge.net/updates/"/>
</location> </location>
</locations> </locations>
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment