Release of PeTe, a petri net editor and verification engine. This repository is mainly for development releases.
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:jopsen/pete to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:jopsen/pete sudo apt-get update
For questions and bugs with software in this PPA please contact Jonas Finnemann Jensen.
- 0 updates added during the past month.