This package is 837.6 KB.
It is available at http://archive.ubuntu.com/ubuntu/pool/universe/d/dafny/dafny_1.9.7-1_all.deb
.
View its full control file here:
debian/control.
programming language with program correctness verifier
This package depends on:
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).
This package does not recommend any other package.
This package does not suggest any other package.
This package does not conflict with any other package.
dafny 1.9.7-1 is in ubuntu - bionic / universe. This package's architecture is: architectureless.
This package will not be indexed since your user agent reports your browser is a bot.