diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2015-08-30 16:35:21 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-08-30 16:35:21 -0400 |
| commit | 486539b9683b9dc6d34bdaf8971d7fa01f03fc47 (patch) | |
| tree | 8ee1b08bdf107edf6e242d34958165f38afad9bc /debian | |
| parent | 6de0b191dca899bb04a31000c9962a80f9776d4a (diff) | |
Get rid of Built-Using
See Debian bug #688251. There are no licensing issues with Boogie, so we don’t
need to be aware of the original source.
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/control | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/control b/debian/control index 9ed4bce5..45ac3e7f 100644 --- a/debian/control +++ b/debian/control @@ -18,7 +18,6 @@ Depends: z3, ${cli:Depends}, ${misc:Depends} -Built-Using: libboogie-cil (= 2.3.0.61016+1.gbp97628c-1) Description: programming language with program correctness verifier Dafny is a programming language with a program verifier. The verifier processes function preconditions, postconditions, and assertions, and sends |