haskell-tamarin-prover-utils 1.6.0-2.0

Architecture: pentium4
Repository: pentium4/community-staging
Description: Utility library for the tamarin prover
Upstream URL:
License(s): GPL
Package Size: 215.22 kB
Installed Size: 1066.92 kB
Build Date: 2020-09-19 23:22:41
Last Updated: 2020-09-20 00:24:12

Dependencies (38)

Required By (7)