tamarin-prover

Paket-Details

Name tamarin-prover
Version 1.4.0-103
Beschreibung The Tamarin prover for security protocol analysis
URL http://tamarin-prover.github.io
Lizenzen GPL
Repositorium community
Architektur x86_64
Gruppen
Packer Felix Yan
Erstellt am 22.09.2018 12:47
Veröffentlicht am 22.09.2018 12:52
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket tamarin-prover-1.4.0-103-x86_64.pkg.tar.xz
PGP-Signatur tamarin-prover-1.4.0-103-x86_64.pkg.tar.xz .sig
Paket-Größe 1,05 MByte
Installations-Größe 4,40 MByte

Dateien