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-term - extra (x86_64)
Back to Search
haskell-tamarin-prover-term
Version 1.12.0-2 from extra (x86_64)
Description
Term manipulation library for the tamarin prover
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:22
Packager
Felix Yan <felixonmars@archlinux.org>
Package Size
726.71 KB
Installed Size
4.22 MB
Download Mirror
https://archlinux.cachyos.org/repo/extra/os/x86_64/haskell-tamarin-prover-term-1.12.0-2-x86_64.pkg.tar.zst
SHA256 Sum
e020dca7bbc465b832f36a46ca3ef488a170f07d1a07ef0d695b9cee14cc6f88
Dependencies
ghc-libs
haskell-hunit
haskell-attoparsec
haskell-dlist
haskell-safe
haskell-tamarin-prover-utils
Optional Deps
N/A
Provides
N/A
Conflicts With
N/A
Replaces
N/A
Package Files
View package files on Arch Linux website