Package: dafny
Architecture: all
Version: 1.9.7-1
Priority: extra
Section: universe/devel
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Benjamin Barenblat <bbaren@mit.edu>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 2860
Depends: mono-mcs, z3, mono-runtime (>= 3.0~), libmono-corlib4.5-cil (>= 4.2.0), libmono-system-core4.0-cil (>= 4.2.0), libmono-system-drawing4.0-cil (>= 3.0.6), libmono-system-numerics4.0-cil (>= 1.0), libmono-system-runtime-caching4.0-cil (>= 4.0.0~alpha1), libmono-system-windows-forms4.0-cil (>= 1.0), libmono-system-xml4.0-cil (>= 4.2.0), libmono-system4.0-cil (>= 4.2.0)
Filename: pool/universe/d/dafny/dafny_1.9.7-1_all.deb
Size: 857752
MD5sum: c994ded4dc965dafc91495493cc4d50d
SHA1: 5fe91fde8a3cb53be834c251899a2cd9fc8dbd5c
SHA256: 1e67700c6e02b61bdfe81d3e4936b39faca3497b479162929e418899e9e0af14
Homepage: https://research.microsoft.com/en-us/projects/dafny/
Description: programming language with program correctness verifier
Description-md5: 35c7eb3147639d72fda0fe0e7d5dd94e