Back to Search
Description
Homepage
Source Files
Split Packages
Base Package
License(s)
Build Date
Packager
Package Size
Installed Size
Download Mirror
SHA256 Sum
Dependencies
Optional Deps
Provides
Conflicts With
Replaces
Package Files
CachyOS | haskell-tamarin-prover-export - extra (x86_64)
Back to Search
haskell-tamarin-prover-export
Version 1.12.0-2 from extra (x86_64)
Description
Library for export of processes in the Sapic calculus to the Proverif calculus
Homepage
http://www.infsec.ethz.ch/research/software/tamarin
Source Files
View Source Files
License(s)
GPL-3.0-only
Build Date
25 Mar 2026, 09:31
Packager
Felix Yan <felixonmars@archlinux.org>
Package Size
216.43 KB
Installed Size
1.13 MB
Download Mirror
https://archlinux.cachyos.org/repo/extra/os/x86_64/haskell-tamarin-prover-export-1.12.0-2-x86_64.pkg.tar.zst
SHA256 Sum
fba40502310058ca41fcf43c7e3e4725ce0f5ecb0372f7a00efd74af49d3f880
Dependencies
ghc-libs
haskell-tamarin-prover-utils
haskell-tamarin-prover-term
haskell-tamarin-prover-theory
haskell-tamarin-prover-sapic
Optional Deps
N/A
Provides
N/A
Conflicts With
N/A
Replaces
N/A
Package Files
View package files on Arch Linux website