Publishing details

• Published on 2025-12-15

Changelog

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

  * 自动生成的源包发布
  * 适配OpenKylin系统

 -- Openkylin Developers <email address hidden>  Sat, 06 Dec 2025 05:06:11 +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 (7.0 KiB)
• net.tapaal.www_3.9.5_amd64.deb (9.5 MiB)