_The following NEW packages will be installed:
z3
0 upgraded, 1 newly installed, 0 to remove and 37 not upgraded.
Need to get 9789 kB of archives.
After this operation, 41.0 MB of additional disk space will be used.
Get:1 https://termux.mentality.rip/termux-packages-24 stable/main aarch64 z3 aarch64 4.8.9 [9789 kB]
4% [1 z3 459 kB/9789 kB 5%]
21% [1 z3 2556 kB/9789 kB 26%]pkg install un22% [1 z3 2703 kB/9789 kB 28%]
52% [1 z3 6308 kB/9789 kB 64%]x
Fetched 9789 kB in 1min 7s (146 kB/s)
pkg install unstable-repo
Selecting previously unselected package z3.
(Reading database ... 29374 files and directories currently installed.)
Preparing to unpack .../archives/z3_4.8.9_aarch64.deb ...
Unpacking z3 (4.8.9) ...
Setting up z3 (4.8.9) ...
$ z3
Error: input file was not specified.
For usage information: z3 -h
$ z3 -h
Z3 [version 4.8.9 - 64 bit]. (C) Copyright 2006-2016 Microsoft Corp.
Usage: z3 [options] [-file:]file
Input format:
-smt2 use parser for SMT 2 input format.
-dl use parser for Datalog input format.
-dimacs use parser for DIMACS input format.
-wcnf use parser for Weighted CNF DIMACS input format.
-opb use parser for PB optimization input format.
-lp use parser for a modest subset of CPLEX LP input format.
-log use parser for Z3 log input format.
-in read formula from standard input.
-model display model for satisfiable SMT.
Miscellaneous:
-h, -? prints this message.
-version prints version number of Z3.
-v:level be verbose, where is the verbosity level.
-nw disable warning messages.
-p display Z3 global (and module) parameters.
-pd display Z3 global (and module) parameter descriptions.
-pm:name display Z3 module ('name') parameters.
-pp:name display Z3 parameter description, if 'name' is not provided, then all module names are listed.
-tactics[:name] display built-in tactics or if argument is given, display detailed information on tactic.
-probes display avilable probes.
-- all remaining arguments are assumed to be part of the input file name. This option allows Z3 to read files with strange names such as: -foo.smt2.
Resources:
-T:timeout set the timeout (in seconds).
-t:timeout set the soft timeout (in milli seconds). It only kills the current query.
-memory:Megabytes set a limit for virtual memory consumption.
Output:
-st display statistics.
Parameter setting:
Global and module parameters can be set in the command line.
param_name=value for setting global parameters.
module_name.param_name=value for setting module parameters.
Use 'z3 -p' for the complete list of global and module parameters.
$ Parameter setting:
Parameter: command not found
$ Global and module parameters can be set in the command line.
No command Global found, did you mean:
Command global in package global
$ param_name=value for setting global parameters.
No command for found, did you mean:
Command forw in package nmh
Command tor in package tor
$ module_name.param_name=value for setting module parameters.
module_name.param_name=value: command not found
$ Use 'z3 -p' for the complete list of global and module parameters
No command Use found, did you mean:
Command bsh in package beanshell
Command as in package binutils
Command ls in package coreutils
Command sh in package dash
Command ssh in package dropbear
Command dte in package dte
Command gs in package ghostscript
Command joe in package joe
Command joe in package jupp
Command ksu in package krb5
Command psl in package libpsl
Command ksh in package loksh
Command pee in package moreutils
Command tset in package ncurses
Command toe in package ncurses-utils
Command ne in package ne
Command ssh in package openssh
Command sem in package parallel
Command ode in package plotutils
Command ps in package procps
Command gie in package proj
Command sv in package runit
Command psc in package sc
Command sed in package sed
Command sl in package sl
Command gst in package smalltalk
Command st in package st
Command sr in package surfraw
Command ts in package task-spooler
Command su in package termux-tools
Command tie in package texlive-bin
Command sn in package tin-summer
Command tsu in package tsu
Command xsel in package xsel
Command zsh in package zsh
$ zsh
The program zsh is not installed. Install it by executing:
pkg install zsh
$ pkg install zsh
Checking availability of current mirror: ok
Reading package lists... Done
Building dependency tree
Reading state information... Done
The following NEW packages will be installed:
zsh
0 upgraded, 1 newly installed, 0 to remove and 37 not upgraded.
Need to get 1925 kB of archives.
After this operation, 9290 kB of additional disk space will be used.
Get:1 https://termux.mentality.rip/termux-packages-24 stable/main aarch64 zsh aarch64 5.8-6 [1925 kB]
Fetched 1925 kB in 7s (255 kB/s)
Selecting previously unselected package zsh.
(Reading database ... 29392 files and directories currently installed.)
Preparing to unpack .../archives/zsh_5.8-6_aarch64.deb ...
Unpacking zsh (5.8-6) ...
Setting up zsh (5.8-6) ...
$ z3
Error: input file was not specified.
For usage information: z3 -h
$ -h
No command -h found, did you mean:
Command sh in package dash
Command gh in package gh
$ gh
The program gh is not installed. Install it by executing:
pkg install gh
$ pkg install gh
Checking availability of current mirror: ok
Reading package lists... Done
Building dependency tree
Reading state information... Done
The following NEW packages will be installed:
gh
0 upgraded, 1 newly installed, 0 to remove and 37 not upgraded.
Need to get 4669 kB of archives.
After this operation, 31.3 MB of additional disk space will be used.
Get:1 https://termux.mentality.rip/termux-packages-24 stable/main aarch64 gh aarch64 1.11.0 [4669 kB]
Fetched 4669 kB in 6s (668 kB/s)
y
Selecting previously unselected package gh.
(Reading database ... 30637 files and directories currently installed.)
Preparing to unpack .../archives/gh_1.11.0aarch64.deb ...
Unpacking gh (1.11.0) ...
Setting up gh (1.11.0) ...
$ pkg upgrade
Checking availability of current mirror: ok
Hit:1 https://termux.mentality.rip/termux-packages-24 stable InRelease
Ign:2 https://dl.bintray.com/grimler/game-packages-24 games InRelease
Ign:3 https://dl.bintray.com/grimler/science-packages-24 science InRelease
Err:4 https://dl.bintray.com/grimler/game-packages-24 games Release
403 Forbidden
Err:5 https://dl.bintray.com/grimler/science-packages-24 science Release
403 Forbidden
Hit:6 https://packages.termux.org/apt/termux-unstable unstable InRelease
Hit:7 https://packages.termux.org/apt/termux-x11 x11 InRelease
Reading package lists... Done
E: The repository 'https://dl.bintray.com/grimler/game-packages-24 games Release' does not have a Release file.
N: Metadata integrity can't be verified, repository is disabled now.
N: Possible cause: repository is under maintenance or down (wrong sources.list URL?).
E: The repository 'https://dl.bintray.com/grimler/science-packages-24 science Release' does not have a Release file.
N: Metadata integrity can't be verified, repository is disabled now.
N: Possible cause: repository is under maintenance or down (wrong sources.list URL?).
$ <dependency>
bash: syntax error near unexpected token newline' $ <groupId>com.squareup</groupId> bash: syntax error near unexpected tokennewline'
$ <artifactId>android-times-square</artifactId>
bash: syntax error near unexpected token newline' $ <version>1.6.5</version> bash: syntax error near unexpected tokennewline'
$ <type>apklib</type>
bash: syntax error near unexpected token newline' $ </dependency> bash: syntax error near unexpected tokennewline'
$
_The following NEW packages will be installed: z3 0 upgraded, 1 newly installed, 0 to remove and 37 not upgraded. Need to get 9789 kB of archives. After this operation, 41.0 MB of additional disk space will be used. Get:1 https://termux.mentality.rip/termux-packages-24 stable/main aarch64 z3 aarch64 4.8.9 [9789 kB] 4% [1 z3 459 kB/9789 kB 5%] 21% [1 z3 2556 kB/9789 kB 26%]pkg install un22% [1 z3 2703 kB/9789 kB 28%] 52% [1 z3 6308 kB/9789 kB 64%]x Fetched 9789 kB in 1min 7s (146 kB/s)
pkg install unstable-repo
Selecting previously unselected package z3. (Reading database ... 29374 files and directories currently installed.) Preparing to unpack .../archives/z3_4.8.9_aarch64.deb ... Unpacking z3 (4.8.9) ... Setting up z3 (4.8.9) ... $ z3 Error: input file was not specified. For usage information: z3 -h $ z3 -h Z3 [version 4.8.9 - 64 bit]. (C) Copyright 2006-2016 Microsoft Corp. Usage: z3 [options] [-file:]file
Input format: -smt2 use parser for SMT 2 input format. -dl use parser for Datalog input format. -dimacs use parser for DIMACS input format. -wcnf use parser for Weighted CNF DIMACS input format. -opb use parser for PB optimization input format. -lp use parser for a modest subset of CPLEX LP input format. -log use parser for Z3 log input format. -in read formula from standard input. -model display model for satisfiable SMT.
Miscellaneous: -h, -? prints this message. -version prints version number of Z3. -v:level be verbose, where is the verbosity level.
-nw disable warning messages.
-p display Z3 global (and module) parameters.
-pd display Z3 global (and module) parameter descriptions.
-pm:name display Z3 module ('name') parameters.
-pp:name display Z3 parameter description, if 'name' is not provided, then all module names are listed.
-tactics[:name] display built-in tactics or if argument is given, display detailed information on tactic.
-probes display avilable probes.
-- all remaining arguments are assumed to be part of the input file name. This option allows Z3 to read files with strange names such as: -foo.smt2.
Resources: -T:timeout set the timeout (in seconds). -t:timeout set the soft timeout (in milli seconds). It only kills the current query. -memory:Megabytes set a limit for virtual memory consumption.
Output: -st display statistics.
Parameter setting: Global and module parameters can be set in the command line. param_name=value for setting global parameters. module_name.param_name=value for setting module parameters. Use 'z3 -p' for the complete list of global and module parameters. $ Parameter setting: Parameter: command not found $ Global and module parameters can be set in the command line. No command Global found, did you mean: Command global in package global $ param_name=value for setting global parameters. No command for found, did you mean: Command forw in package nmh Command tor in package tor $ module_name.param_name=value for setting module parameters. module_name.param_name=value: command not found $ Use 'z3 -p' for the complete list of global and module parameters No command Use found, did you mean: Command bsh in package beanshell Command as in package binutils Command ls in package coreutils Command sh in package dash Command ssh in package dropbear Command dte in package dte Command gs in package ghostscript Command joe in package joe Command joe in package jupp Command ksu in package krb5 Command psl in package libpsl Command ksh in package loksh Command pee in package moreutils Command tset in package ncurses Command toe in package ncurses-utils Command ne in package ne Command ssh in package openssh Command sem in package parallel Command ode in package plotutils Command ps in package procps Command gie in package proj Command sv in package runit Command psc in package sc Command sed in package sed Command sl in package sl Command gst in package smalltalk Command st in package st Command sr in package surfraw Command ts in package task-spooler Command su in package termux-tools Command tie in package texlive-bin Command sn in package tin-summer Command tsu in package tsu Command xsel in package xsel Command zsh in package zsh $ zsh The program zsh is not installed. Install it by executing: pkg install zsh $ pkg install zsh Checking availability of current mirror: ok Reading package lists... Done Building dependency tree Reading state information... Done The following NEW packages will be installed: zsh 0 upgraded, 1 newly installed, 0 to remove and 37 not upgraded. Need to get 1925 kB of archives. After this operation, 9290 kB of additional disk space will be used. Get:1 https://termux.mentality.rip/termux-packages-24 stable/main aarch64 zsh aarch64 5.8-6 [1925 kB] Fetched 1925 kB in 7s (255 kB/s) Selecting previously unselected package zsh. (Reading database ... 29392 files and directories currently installed.) Preparing to unpack .../archives/zsh_5.8-6_aarch64.deb ... Unpacking zsh (5.8-6) ... Setting up zsh (5.8-6) ... $ z3 Error: input file was not specified. For usage information: z3 -h $ -h No command -h found, did you mean: Command sh in package dash Command gh in package gh $ gh The program gh is not installed. Install it by executing: pkg install gh $ pkg install gh Checking availability of current mirror: ok Reading package lists... Done Building dependency tree Reading state information... Done The following NEW packages will be installed: gh 0 upgraded, 1 newly installed, 0 to remove and 37 not upgraded. Need to get 4669 kB of archives. After this operation, 31.3 MB of additional disk space will be used. Get:1 https://termux.mentality.rip/termux-packages-24 stable/main aarch64 gh aarch64 1.11.0 [4669 kB] Fetched 4669 kB in 6s (668 kB/s)
y Selecting previously unselected package gh. (Reading database ... 30637 files and directories currently installed.) Preparing to unpack .../archives/gh_1.11.0aarch64.deb ... Unpacking gh (1.11.0) ... Setting up gh (1.11.0) ... $ pkg upgrade Checking availability of current mirror: ok Hit:1 https://termux.mentality.rip/termux-packages-24 stable InRelease Ign:2 https://dl.bintray.com/grimler/game-packages-24 games InRelease Ign:3 https://dl.bintray.com/grimler/science-packages-24 science InRelease Err:4 https://dl.bintray.com/grimler/game-packages-24 games Release 403 Forbidden Err:5 https://dl.bintray.com/grimler/science-packages-24 science Release 403 Forbidden Hit:6 https://packages.termux.org/apt/termux-unstable unstable InRelease Hit:7 https://packages.termux.org/apt/termux-x11 x11 InRelease Reading package lists... Done E: The repository 'https://dl.bintray.com/grimler/game-packages-24 games Release' does not have a Release file. N: Metadata integrity can't be verified, repository is disabled now. N: Possible cause: repository is under maintenance or down (wrong sources.list URL?). E: The repository 'https://dl.bintray.com/grimler/science-packages-24 science Release' does not have a Release file. N: Metadata integrity can't be verified, repository is disabled now. N: Possible cause: repository is under maintenance or down (wrong sources.list URL?). $ <dependency> bash: syntax error near unexpected token
newline' $ <groupId>com.squareup</groupId> bash: syntax error near unexpected tokennewline' $ <artifactId>android-times-square</artifactId> bash: syntax error near unexpected tokennewline' $ <version>1.6.5</version> bash: syntax error near unexpected tokennewline' $ <type>apklib</type> bash: syntax error near unexpected tokennewline' $ </dependency> bash: syntax error near unexpected tokennewline' $