Ubuntu

dafny binary package in Ubuntu Focal amd64

  1. Focal (20.04)
  2. amd64
  3. dafny

 Dafny is a programming language with a program verifier. The verifier
 processes function preconditions, postconditions, and assertions, and sends
 them to an SMT solver for checking. In this way, assertion failures become
 compiler errors, rather than runtime ones.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2020-01-20 13:13:21 UTC Published Ubuntu Focal amd64 release universe devel Extra 2.3.0+dfsg-0.1
  • Published
  • Copied from ubuntu focal-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Focal amd64 proposed universe devel Extra 2.3.0+dfsg-0.1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-01-20 13:13:41 UTC Superseded Ubuntu Focal amd64 release universe devel Extra 1.9.7-1
  • Removal requested .
  • Superseded by amd64 build of dafny 2.3.0+dfsg-0.1 in ubuntu focal PROPOSED
  • Published
  • Copied from ubuntu yakkety-proposed amd64 in Primary Archive for Ubuntu

Source package