haskell-tamarin-prover-utils

Paket-Details

Name haskell-tamarin-prover-utils
Version 1.4.1-36
Beschreibung Utility library for the tamarin prover
URL http://www.infsec.ethz.ch/research/software/tamarin
Lizenzen GPL
Repositorium community
Architektur x86_64
Packer Felix Yan
Erstellt am 25.02.2020 18:14
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket haskell-tamarin-prover-utils-1.4.1-36-x86_64.pkg.tar.zst
PGP-Signatur haskell-tamarin-prover-utils-1.4.1-36-x86_64.pkg.tar.zst.sig
Paket-Größe 213,90 KByte
Installations-Größe 1,31 MByte

Dateien