Skip to content

Commit

Permalink
Add changes
Browse files Browse the repository at this point in the history
  • Loading branch information
github-actions[bot] committed Nov 7, 2024
1 parent 30d95d3 commit a2d3fd9
Show file tree
Hide file tree
Showing 6 changed files with 2 additions and 2 deletions.
Binary file added latestrelease/DeclareAnalyzer-6.15.2-all.zip
Binary file not shown.
Binary file added latestrelease/DeclareAnalyzer.jar
Binary file not shown.
2 changes: 1 addition & 1 deletion latestrelease/ivy.xml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
<ivy-module version="2.0">
<info organisation="prom" module="DeclareAnalyzer" revision="latest">
<description>
Version 6.15.1
Version 6.15.2
</description>
</info>
<configurations>
Expand Down
Binary file added latestrelease/lib/com.lowagie.text-2.1.7.jar
Binary file not shown.
Binary file added latestrelease/lib/jeval-0.9.4.jar
Binary file not shown.
2 changes: 1 addition & 1 deletion latestrelease/packages.xml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@

<packages>
<package name="NewPackageIvy" version="6.15.1" os="all" url="NewPackageIvy/NewPackageIvy-6.15.1-all.zip" desc="New Package with Ivy" org="Eindhoven University of Technology" license="GPL" author="H.M.W. Verbeek" auto="false" hasPlugins="true" logo="prom_subtitle_hat_300.png">
<package name="DeclareAnalyzer" version="6.15.2" os="all" url="DeclareAnalyzer/DeclareAnalyzer-6.15.2-all.zip" desc="Declare Analyzer" org="Eindhoven University of Technology" license="L-GPL" author="F.M. Maggi and A. Burratin" auto="false" hasPlugins="true" logo="prom_subtitle_hat_300.png">
<dependency org="prom" name="ProM-Plugins" rev="latest" changing="true" transitive="true" />
<dependency org="prom" name="ApacheUtils" rev="latest" changing="true" transitive="true" />
<dependency org="prom" name="DeclareMiner" rev="latest" changing="true" transitive="true" />
Expand Down

0 comments on commit a2d3fd9

Please sign in to comment.