%FILENAME%
ispin-6.5.0-3.0-any.pkg.tar.zst

%NAME%
ispin

%BASE%
ispin

%VERSION%
6.5.0-3.0

%DESC%
New Tcl/Tk GUI for Spin replacing xSpin

%CSIZE%
51296

%ISIZE%
227913

%MD5SUM%
029f6ea0b51db2c66b58b701e93bfaa2

%SHA256SUM%
8284e32cb3477f8eb848755ca422b3f738bd9a25cbb9752aa8bb7be9e788f605

%PGPSIG%
iQIzBAABCAAdFiEEgOwYeZ6LzTdcbmSr5NQVaRlrEWAFAmaN45oACgkQ5NQVaRlrEWDkTA/7Bfcbz12RS/d5zZTIE2fXmday/AOwxHawhs5bROYEBzS/3YugCLqHoLPw8IKHfsDHIZhGNIEvIJby5rrxAlb6mH4wfqQi0s78jeGZrf+rlMQ1hfXhrWa7P56Cem/jcOO952tL4LxtfExAOMD14sG7FemNLnERs6laeBcmoCRyK01iAju7ailto3CKH3Q4xB4SVBj7j8lLEorsdpR2ImAxdGk2irLljEHfGtQWxRDuoWyNYivdcmFMrOFAk+PNX4wMUorocWa6kzQKGqoVF+gXehScJfTCKR8y77OTTJDeoyk5HjaF9dEpe+Q9k1EngpvReW5c6GnN4qKjoKzCI17q+suJ/SWvR6MlMQivVu4HJCRzS37mi9c4MQFtHIYs9y11n0ybsu0Uzqa3wq9Duy1cWVtvt5XDTyV60H6nTQzq7xfBx8kncsBudDL0acz32pNh5ukR53sJD/eneOHnrcI9d9INcJBYbGwOuFuMlzZUo1vAJzR+ufLVb8KvGfml3I+jEvZMc/HBUyoIa6/SihWXI9/2gTmrTOB0RJDSw943RC+v39ZbJClYlqKDTcxYVnI2gwX4ffBncHq+Z+UI+57qbp3UfzK2LtVQNSE2ipz3r+kC3/ZVRXYGJKhLFJRkf/CCHSN0ZRZNfx/t+x71Bin51+jzzuBPi5VQMtYKMyh3as0=

%URL%
https://spinroot.com/

%LICENSE%
custom:SPIN

%ARCH%
any

%BUILDDATE%
1720574857

%PACKAGER%
TasosSah <arch32@tasossah.com>

%DEPENDS%
spin>=6.0
tk>=8.5
gcc

%OPTDEPENDS%
graphviz: recommended, provides dot tool for automata view
curl: for version check information

