name: Boogie.Predication
description: Package Description
version: 2.15.5
spec_version: 1.0
download_url: https://www.nuget.org/api/v2/package/Boogie.Predication/2.15.5
news_url: https://libraries.io/nuget/Boogie.Predication/versions.atom
date: 2022-06-15
about_resource: NONE
libraries_io_url: https://libraries.io/nuget/Boogie.Predication?number=2.15.5
