diff options
Diffstat (limited to 'ports/z3/CONTROL')
| -rw-r--r-- | ports/z3/CONTROL | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/ports/z3/CONTROL b/ports/z3/CONTROL deleted file mode 100644 index f261a7f55..000000000 --- a/ports/z3/CONTROL +++ /dev/null @@ -1,5 +0,0 @@ -Source: z3 -Version: 4.8.9 -Homepage: https://github.com/Z3Prover/z3 -Description: Z3 is a theorem prover from Microsoft Research. -Supports: !arm64 && !uwp |