dafny_1.9.7-1_all.deb


Advertisement

Description

dafny - programming language with program correctness verifier

Distribution: Debian Sid
Repository: Debian Main amd64
Package name: dafny
Package version: 1.9.7
Package release: 1
Package architecture: all
Package type: deb
Installed size: 2.79 KB
Download size: 838.21 KB
Official Mirror: ftp.br.debian.org
Description: unavailable.

Alternatives

    Download

    Binary package: dafny_1.9.7-1_all.deb
    Source package: dafny

    Install Howto

    1. Update the package index:
      # sudo apt-get update
    2. Install dafny deb package:
      # sudo apt-get install dafny

    Changelog

    2016-06-05 - Benjamin Barenblat <bbaren@mit.edu> dafny (1.9.7-1) unstable; urgency=medium * New upstream release.

    2016-04-06 - Benjamin Barenblat <bbaren@mit.edu> dafny (1.9.5-1) unstable; urgency=medium * Initial release.

    Advertisement
    Advertisement