haskell-tamarin-prover-utils 1.4.1-50.0

Architecture: pentium4
Repository: pentium4/community
Description: Utility library for the tamarin prover
Upstream URL:
License(s): GPL
Package Size: 213.93 kB
Installed Size: 1066.63 kB
Build Date: 2020-06-30 06:31:33
Last Updated: 2020-08-03 21:04:20

Dependencies (35)

Required By (6)