Publishing details

• Published on 2025-10-30

Changelog

net.tapaal.www (3.9.5) nile; urgency=medium

  * Initial Release.

 -- root <root@kylin-PC>  Fri, 31 Oct 2025 01:05:13 +0800

Builds

• amd64

Built packages

• net.tapaal.www TAPAAL provides a standalone editor, simulator and verifier (called verifytapn) of timed-arc Petri nets.

Package files

• net.tapaal.www_3.9.5.dsc (1.3 KiB)
• net.tapaal.www_3.9.5.tar.xz (6.9 KiB)
• net.tapaal.www_3.9.5_amd64.deb (2.1 KiB)