haskell-tamarin-prover-theory

Paket-Details

Name haskell-tamarin-prover-theory
Version 1.4.1-42
Beschreibung Security protocol types and constraint solver library for the tamarin prover
URL http://www.infsec.ethz.ch/research/software/tamarin
Lizenzen GPL
Repositorium community
Architektur x86_64
Gruppen
Packer Felix Yan
Erstellt am 20.10.2019 19:45
Veröffentlicht am 21.10.2019 00:22
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket haskell-tamarin-prover-theory-1.4.1-42-x86_64.pkg.tar.xz
PGP-Signatur haskell-tamarin-prover-theory-1.4.1-42-x86_64.pkg.tar.xz.sig
Paket-Größe 1,63 MByte
Installations-Größe 13,69 MByte

Dateien