cascremers / scyther

The Scyther Tool for the symbolic analysis of security protocols
https://cispa.saarland/group/cremers/scyther/index.html
96 stars 38 forks source link

Debian/Ubuntu package #1

Open cascremers opened 11 years ago

cascremers commented 11 years ago

It would be nice to provide debian packages of Scyther releases. This would simplify the installation for users, as they (in theory) no longer need to worry about the dependencies.