distinfo\z3\math - FreeBSD-ports - Raptor Engineering's fork of pfsense FreeBSD ports tree with pfSense changes

summary refs log tree commit diff stats

path: root/math/z3/distinfo

blob: 0b8b9746084f03f17fd0e3120e9cedbe1de2cf9b (plain)

1 2	`SHA256 (Z3Prover-z3-z3-4.4.0_GH0.tar.gz) = 65b72f9eb0af50949e504b47080fb3fc95f11c435633041d9a534473f3142cba SIZE (Z3Prover-z3-z3-4.4.0_GH0.tar.gz) = 3060731`

OpenPOWER on IntegriCloud