From 486539b9683b9dc6d34bdaf8971d7fa01f03fc47 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sun, 30 Aug 2015 16:35:21 -0400 Subject: Get rid of Built-Using MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit See Debian bug #688251. There are no licensing issues with Boogie, so we don’t need to be aware of the original source. --- debian/control | 1 - 1 file changed, 1 deletion(-) (limited to 'debian') 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 -- cgit v1.2.3