haskell-tamarin-prover-utils 1.4.1-50.0

Architecture: i686
Repository: i686/community
Description: Utility library for the tamarin prover
Upstream URL:
License(s): GPL
Package Size: 213.90 kB
Installed Size: 1062.83 kB
Build Date: 2020-06-30 06:28:55
Last Updated: 2020-08-03 20:56:23

Dependencies (35)

Required By (6)