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-utils - extra (x86_64)
Back to Search
haskell-tamarin-prover-utils
Version 1.10.0-142 from extra (x86_64)
Description
Utility library for the tamarin prover
Homepage
http://www.infsec.ethz.ch/research/software/tamarin
Source Files
View Source Files
License(s)
GPL
Build Date
11/1/2026, 14:13:56
Packager
Felix Yan <felixonmars@archlinux.org>
Package Size
237.18 KB
Installed Size
1.21 MB
Download Mirror
https://archlinux.cachyos.org/repo/extra/os/x86_64/haskell-tamarin-prover-utils-1.10.0-142-x86_64.pkg.tar.zst
SHA256 Sum
3912258fc863b7b6bdf8157067a6884ef59a833e9e8b5dbbf4fdc0ef75cc687e
Dependencies
ghc-libs
haskell-sha
haskell-base64-bytestring
haskell-blaze-builder
haskell-dlist
haskell-fclabels
haskell-graphviz
haskell-list-t
haskell-safe
haskell-split
haskell-syb
Optional Deps
N/A
Provides
N/A
Conflicts With
N/A
Replaces
N/A
Package Files
View package files on Arch Linux website