haskell-tamarin-prover-term

Paket-Details

Name haskell-tamarin-prover-term
Version 1.4.1-31
Beschreibung Term manipulation 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 02.09.2019 08:00
Veröffentlicht am 03.09.2019 16:01
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket haskell-tamarin-prover-term-1.4.1-31-x86_64.pkg.tar.xz
PGP-Signatur haskell-tamarin-prover-term-1.4.1-31-x86_64.pkg.tar.xz.sig
Paket-Größe 609,60 KByte
Installations-Größe 4,30 MByte

Dateien