tapaal.nuspec

<?xml version="1.0" encoding="utf-8"?>
<!-- Do not remove this test for UTF-8: if “Ω” doesn’t appear as greek uppercase omega letter enclosed in quotation marks, you should use an editor that supports UTF-8, not this one. -->
<package xmlns="http://schemas.microsoft.com/packaging/2015/06/nuspec.xsd">
  <metadata>
    <id>tapaal</id>
    <version>3.9.3</version>

    <title>TAPAAL</title>
    <authors>tapaal team</authors>
    
    <projectUrl>https://www.tapaal.net/</projectUrl>
    <iconUrl>https://rawcdn.githack.com/TAPAAL/chocolatey-tapaal/f3b26bd406df34d134cb2a441b73c707fd15312e/images/tapaal-128x128.png</iconUrl>
    
    <copyright>(c) 2021 - TAPAAL team</copyright>
    <licenseUrl>https://www.tapaal.net/download/#License</licenseUrl>
    <requireLicenseAcceptance>false</requireLicenseAcceptance>
    
    <projectSourceUrl>https://launchpad.net/tapaal</projectSourceUrl>
    <bugTrackerUrl>https://bugs.launchpad.net/tapaal</bugTrackerUrl>
    <releaseNotes>https://www.tapaal.net/download/changelog/</releaseNotes>

    <owners>kyrke</owners>
    <packageSourceUrl>https://github.com/TAPAAL/chocolatey-tapaal</packageSourceUrl>
    <tags>tapaal modelchecker verification scentific</tags>
    
    <summary>TAPAAL is free software for modeling and verification of Petri nets.</summary>
    <description><![CDATA[
TAPAAL is a tool for

 - modelling, simulation and verification of
 - Timed-Arc Petri nets
 - developed at Department of Computer Science at AALborg University in Denmark
 - and available for Linux, Windows and Mac OS X platforms.
    ]]></description>

    <dependencies></dependencies>
  </metadata>
  <files>
    <file src="tools\**" target="tools" />
  </files>
</package>