corner image corner image corner image corner image Debian NEW package overview for cvc4
cvc4_1.5-1_amd64.changes (click to toggle)
Format:1.8
Date:Sat, 29 Jul 2017 00:31:25 +0200
Source:cvc4
Binary:cvc4 libcvc4-dev libcvc4-4 libcvc4parser4
Architecture:source amd64
Version:1.5-1
Distribution:unstable
Urgency:medium
Maintainer:Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By:Fabian Wolff <fabi.wolff@arcor.de>
Description:
cvc4       - automated theorem prover for SMT problems
libcvc4-4  - automated theorem prover for SMT problems (runtime)
libcvc4-dev - automated theorem prover for SMT problems (development files)
libcvc4parser4 - automated theorem prover for SMT problems (parser runtime)
Closes:757048
Changes:
cvc4 (1.5-1) unstable; urgency=medium

  * Initial release. (Closes: #757048)
Files:
a10e8cc33e843842152943f4bd1ba9bd 2221 math optional cvc4_1.5-1.dsc
f6e329763124bb7aaa3b4e86df1b3ade 7926116 math optional cvc4_1.5.orig.tar.gz
232e2b10011e08728d29ed4f5a97df2e 6012 math optional cvc4_1.5-1.debian.tar.xz
dc6dfbc6ade5d5bdf4b26a739d2cb3ea 3006562 debug extra cvc4-dbgsym_1.5-1_amd64.deb
d02c5f8a9e14001d4e78d2d173cf05b9 8541 math optional cvc4_1.5-1_amd64.buildinfo
25244770325e2d70ada38757cca8d281 136172 math optional cvc4_1.5-1_amd64.deb
1e3d7f55cdf3f7f869c10d3c8f43af26 97653054 debug extra libcvc4-4-dbgsym_1.5-1_amd64.deb
99412f629064ff5159a4a2e4502c0ae7 3519852 libs optional libcvc4-4_1.5-1_amd64.deb
390d67e9bdf34f360cad4286d61a467f 6154646 libdevel optional libcvc4-dev_1.5-1_amd64.deb
1c1802252ec4fca72d31871d40b11222 4432632 debug extra libcvc4parser4-dbgsym_1.5-1_amd64.deb
261f0b5d9e59d8db3265c57adf2723cb 364242 libs optional libcvc4parser4_1.5-1_amd64.deb
cvc4_1.5-1.dsc (click to toggle)
Format:3.0 (quilt)
Source:cvc4
Binary:cvc4, libcvc4-dev, libcvc4-4, libcvc4parser4
Architecture:any
Version:1.5-1
Maintainer:Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders:Fabian Wolff <fabi.wolff@arcor.de>
Homepage:http://cvc4.cs.stanford.edu/web/
Standards-Version:4.0.0
Vcs-Browser:https://anonscm.debian.org/cgit/debian-science/packages/cvc4.git
Vcs-Git:https://anonscm.debian.org/git/debian-science/packages/cvc4.git
Testsuite:autopkgtest
Testsuite-Triggers:build-essential
Build-Depends:debhelper (>=10), libgmp-dev, libantlr3c-dev, libboost-thread-dev, libreadline-dev, pkg-config, cxxtest, chrpath
Package-List:cvc4 deb math optional arch=any libcvc4-4 deb libs optional arch=any libcvc4-dev deb libdevel optional arch=any libcvc4parser4 deb libs optional arch=any
Files:
f6e329763124bb7aaa3b4e86df1b3ade 7926116 cvc4_1.5.orig.tar.gz
232e2b10011e08728d29ed4f5a97df2e 6012 cvc4_1.5-1.debian.tar.xz
lintian check for cvc4_1.5-1.dsc (click to toggle)
W: cvc4 source: newer-standards-version 4.0.0 (current is 3.9.8)
README.source for cvc4_1.5-1.dsc (click to toggle)
No README.source in this package
control file for libcvc4-4_1.5-1_amd64.deb (click to toggle)
Package:libcvc4-4
Source:cvc4
Version:1.5-1
Architecture:amd64
Maintainer:Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size:12123
Depends:libc6 (>=2.17), libgcc1 (>=1:3.0), libgmp10, libstdc++6 (>=5.2)
Section:libs
Priority:optional
Homepage:http://cvc4.cs.stanford.edu/web/
Description:
automated theorem prover for SMT problems (runtime)
 CVC4 is an efficient automatic theorem prover for satisfiability
 modulo theories (SMT) problems. It can be used to prove the validity
 (or, dually, the satisfiability) of first-order formulas in a large
 number of built-in logical theories and their combination.
 .
 CVC4 is intended to be an open and extensible SMT engine, and it can
 be used as a stand-alone tool or as a library. It is the fourth in
 the Cooperating Validity Checker family of tools (also including CVC,
 CVC Lite and CVC3). CVC4 has been designed to increase the
 performance and reduce the memory overhead of its predecessors.
 .
 This package contains CVC4's runtime shared libraries.
lintian check for libcvc4-4_1.5-1_amd64.deb (click to toggle)
contents of libcvc4-4_1.5-1_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2017-07-28 22:31 ./
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/lib/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/lib/x86_64-linux-gnu/
-rw-r--r-- root/root  12390792 2017-07-28 22:31 ./usr/lib/x86_64-linux-gnu/libcvc4.so.4.0.0
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/share/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/share/doc/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/share/doc/libcvc4-4/
-rw-r--r-- root/root       156 2017-07-28 22:31 ./usr/share/doc/libcvc4-4/changelog.Debian.gz
-rw-r--r-- root/root      9985 2017-07-28 22:31 ./usr/share/doc/libcvc4-4/copyright
lrwxrwxrwx root/root         0 2017-07-28 22:31 ./usr/lib/x86_64-linux-gnu/libcvc4.so.4 -> libcvc4.so.4.0.0
control file for libcvc4-dev_1.5-1_amd64.deb (click to toggle)
Package:libcvc4-dev
Source:cvc4
Version:1.5-1
Architecture:amd64
Maintainer:Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size:57979
Depends:libcvc4-4 (=1.5-1), libcvc4parser4 (=1.5-1), libgmp-dev
Section:libdevel
Priority:optional
Homepage:http://cvc4.cs.stanford.edu/web/
Description:
automated theorem prover for SMT problems (development files)
 CVC4 is an efficient automatic theorem prover for satisfiability
 modulo theories (SMT) problems. It can be used to prove the validity
 (or, dually, the satisfiability) of first-order formulas in a large
 number of built-in logical theories and their combination.
 .
 CVC4 is intended to be an open and extensible SMT engine, and it can
 be used as a stand-alone tool or as a library. It is the fourth in
 the Cooperating Validity Checker family of tools (also including CVC,
 CVC Lite and CVC3). CVC4 has been designed to increase the
 performance and reduce the memory overhead of its predecessors.
 .
 This package contains development files for CVC4. Install it if you
 want to develop applications that use CVC4's API.
lintian check for libcvc4-dev_1.5-1_amd64.deb (click to toggle)
contents of libcvc4-dev_1.5-1_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2017-07-28 22:31 ./
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/include/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/include/cvc4/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/include/cvc4/base/
-rw-r--r-- root/root      3578 2017-07-28 22:31 ./usr/include/cvc4/base/configuration.h
-rw-r--r-- root/root      5428 2017-07-28 22:31 ./usr/include/cvc4/base/exception.h
-rw-r--r-- root/root      5029 2017-07-28 22:31 ./usr/include/cvc4/base/listener.h
-rw-r--r-- root/root      1429 2017-07-28 22:31 ./usr/include/cvc4/base/modal_exception.h
-rw-r--r-- root/root      2290 2017-07-28 22:31 ./usr/include/cvc4/base/ptr_closer.h
-rw-r--r-- root/root      5840 2017-07-28 22:31 ./usr/include/cvc4/base/tls.h
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/include/cvc4/bindings/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/include/cvc4/bindings/compat/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/include/cvc4/bindings/compat/c/
-rw-r--r-- root/root     25613 2017-07-28 22:31 ./usr/include/cvc4/bindings/compat/c/c_interface.h
-rw-r--r-- root/root      1327 2017-07-28 22:31 ./usr/include/cvc4/bindings/compat/c/c_interface_defs.h
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/include/cvc4/compat/
-rw-r--r-- root/root     55742 2017-07-28 22:31 ./usr/include/cvc4/compat/cvc3_compat.h
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/include/cvc4/context/
-rw-r--r-- root/root      1478 2017-07-28 22:31 ./usr/include/cvc4/context/cdhashmap_forward.h
-rw-r--r-- root/root      1437 2017-07-28 22:31 ./usr/include/cvc4/context/cdhashset_forward.h
-rw-r--r-- root/root      1345 2017-07-28 22:31 ./usr/include/cvc4/context/cdinsert_hashmap_forward.h
-rw-r--r-- root/root      1977 2017-07-28 22:31 ./usr/include/cvc4/context/cdlist_forward.h
-rw-r--r-- root/root      1339 2017-07-28 22:31 ./usr/include/cvc4/context/cdtrail_hashmap_forward.h
-rw-r--r-- root/root      1184 2017-07-28 22:31 ./usr/include/cvc4/cvc4.h
-rw-r--r-- root/root      2696 2017-07-28 22:31 ./usr/include/cvc4/cvc4_public.h
-rw-r--r-- root/root       933 2017-07-28 22:31 ./usr/include/cvc4/cvc4parser_public.h
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/include/cvc4/expr/
-rw-r--r-- root/root       813 2017-07-28 22:31 ./usr/include/cvc4/expr/array.h
-rw-r--r-- root/root      2261 2017-07-28 22:31 ./usr/include/cvc4/expr/array_store_all.h
-rw-r--r-- root/root      1979 2017-07-28 22:31 ./usr/include/cvc4/expr/ascription_type.h
-rw-r--r-- root/root      1564 2017-07-28 22:31 ./usr/include/cvc4/expr/chain.h
-rw-r--r-- root/root     35248 2017-07-28 22:31 ./usr/include/cvc4/expr/datatype.h
-rw-r--r-- root/root      2134 2017-07-28 22:31 ./usr/include/cvc4/expr/emptyset.h
-rw-r--r-- root/root     25171 2017-07-28 22:31 ./usr/include/cvc4/expr/expr.h
-rw-r--r-- root/root      6112 2017-07-28 22:31 ./usr/include/cvc4/expr/expr_iomanip.h
-rw-r--r-- root/root     28184 2017-07-28 22:31 ./usr/include/cvc4/expr/expr_manager.h
-rw-r--r-- root/root      1248 2017-07-28 22:31 ./usr/include/cvc4/expr/expr_stream.h
-rw-r--r-- root/root     56264 2017-07-28 22:31 ./usr/include/cvc4/expr/kind.h
-rw-r--r-- root/root      3286 2017-07-28 22:31 ./usr/include/cvc4/expr/pickler.h
-rw-r--r-- root/root      1937 2017-07-28 22:31 ./usr/include/cvc4/expr/predicate.h
-rw-r--r-- root/root      3462 2017-07-28 22:31 ./usr/include/cvc4/expr/record.h
-rw-r--r-- root/root      7054 2017-07-28 22:31 ./usr/include/cvc4/expr/symbol_table.h
-rw-r--r-- root/root     17637 2017-07-28 22:31 ./usr/include/cvc4/expr/type.h
-rw-r--r-- root/root      2337 2017-07-28 22:31 ./usr/include/cvc4/expr/uninterpreted_constant.h
-rw-r--r-- root/root      1690 2017-07-28 22:31 ./usr/include/cvc4/expr/variable_type_map.h
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/include/cvc4/options/
-rw-r--r-- root/root      2706 2017-07-28 22:31 ./usr/include/cvc4/options/argument_extender.h
-rw-r--r-- root/root      1123 2017-07-28 22:31 ./usr/include/cvc4/options/arith_heuristic_pivot_rule.h
-rw-r--r-- root/root      1110 2017-07-28 22:31 ./usr/include/cvc4/options/arith_propagation_mode.h
-rw-r--r-- root/root      1147 2017-07-28 22:31 ./usr/include/cvc4/options/arith_unate_lemma_mode.h
-rw-r--r-- root/root      5628 2017-07-28 22:31 ./usr/include/cvc4/options/language.h
-rw-r--r-- root/root      1813 2017-07-28 22:31 ./usr/include/cvc4/options/option_exception.h
-rw-r--r-- root/root     18219 2017-07-28 22:31 ./usr/include/cvc4/options/options.h
-rw-r--r-- root/root      1607 2017-07-28 22:31 ./usr/include/cvc4/options/printer_modes.h
-rw-r--r-- root/root      6627 2017-07-28 22:31 ./usr/include/cvc4/options/quantifiers_modes.h
-rw-r--r-- root/root      2737 2017-07-28 22:31 ./usr/include/cvc4/options/set_language.h
-rw-r--r-- root/root      1233 2017-07-28 22:31 ./usr/include/cvc4/options/simplification_mode.h
-rw-r--r-- root/root      1191 2017-07-28 22:31 ./usr/include/cvc4/options/theoryof_mode.h
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/include/cvc4/parser/
-rw-r--r-- root/root      5665 2017-07-28 22:31 ./usr/include/cvc4/parser/input.h
-rw-r--r-- root/root     21119 2017-07-28 22:31 ./usr/include/cvc4/parser/parser.h
-rw-r--r-- root/root      5119 2017-07-28 22:31 ./usr/include/cvc4/parser/parser_builder.h
-rw-r--r-- root/root      2873 2017-07-28 22:31 ./usr/include/cvc4/parser/parser_exception.h
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/include/cvc4/proof/
-rw-r--r-- root/root      1884 2017-07-28 22:31 ./usr/include/cvc4/proof/unsat_core.h
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/include/cvc4/smt/
-rw-r--r-- root/root     32521 2017-07-28 22:31 ./usr/include/cvc4/smt/command.h
-rw-r--r-- root/root      1410 2017-07-28 22:31 ./usr/include/cvc4/smt/logic_exception.h
-rw-r--r-- root/root     24414 2017-07-28 22:31 ./usr/include/cvc4/smt/smt_engine.h
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/include/cvc4/smt_util/
-rw-r--r-- root/root      2660 2017-07-28 22:31 ./usr/include/cvc4/smt_util/lemma_channels.h
-rw-r--r-- root/root      1066 2017-07-28 22:31 ./usr/include/cvc4/smt_util/lemma_input_channel.h
-rw-r--r-- root/root      1454 2017-07-28 22:31 ./usr/include/cvc4/smt_util/lemma_output_channel.h
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/include/cvc4/theory/
-rw-r--r-- root/root      8172 2017-07-28 22:31 ./usr/include/cvc4/theory/logic_info.h
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/include/cvc4/util/
-rw-r--r-- root/root      1930 2017-07-28 22:31 ./usr/include/cvc4/util/abstract_value.h
-rw-r--r-- root/root     14224 2017-07-28 22:31 ./usr/include/cvc4/util/bitvector.h
-rw-r--r-- root/root       853 2017-07-28 22:31 ./usr/include/cvc4/util/bool.h
-rw-r--r-- root/root      6888 2017-07-28 22:31 ./usr/include/cvc4/util/cardinality.h
-rw-r--r-- root/root      3611 2017-07-28 22:31 ./usr/include/cvc4/util/channel.h
-rw-r--r-- root/root      1633 2017-07-28 22:31 ./usr/include/cvc4/util/divisible.h
-rw-r--r-- root/root      8391 2017-07-28 22:31 ./usr/include/cvc4/util/floatingpoint.h
-rw-r--r-- root/root      1154 2017-07-28 22:31 ./usr/include/cvc4/util/gmp_util.h
-rw-r--r-- root/root      1816 2017-07-28 22:31 ./usr/include/cvc4/util/hash.h
-rw-r--r-- root/root      1184 2017-07-28 22:31 ./usr/include/cvc4/util/integer.h
-rw-r--r-- root/root     14322 2017-07-28 22:31 ./usr/include/cvc4/util/integer_cln_imp.h
-rw-r--r-- root/root     13196 2017-07-28 22:31 ./usr/include/cvc4/util/integer_gmp_imp.h
-rw-r--r-- root/root      1178 2017-07-28 22:31 ./usr/include/cvc4/util/proof.h
-rw-r--r-- root/root      1191 2017-07-28 22:31 ./usr/include/cvc4/util/rational.h
-rw-r--r-- root/root     10027 2017-07-28 22:31 ./usr/include/cvc4/util/rational_cln_imp.h
-rw-r--r-- root/root      9356 2017-07-28 22:31 ./usr/include/cvc4/util/rational_gmp_imp.h
-rw-r--r-- root/root     10494 2017-07-28 22:31 ./usr/include/cvc4/util/regexp.h
-rw-r--r-- root/root      5438 2017-07-28 22:31 ./usr/include/cvc4/util/resource_manager.h
-rw-r--r-- root/root      4273 2017-07-28 22:31 ./usr/include/cvc4/util/result.h
-rw-r--r-- root/root      8724 2017-07-28 22:31 ./usr/include/cvc4/util/sexpr.h
-rw-r--r-- root/root      3595 2017-07-28 22:31 ./usr/include/cvc4/util/statistics.h
-rw-r--r-- root/root      8226 2017-07-28 22:31 ./usr/include/cvc4/util/subrange_bound.h
-rw-r--r-- root/root      2286 2017-07-28 22:31 ./usr/include/cvc4/util/tuple.h
-rw-r--r-- root/root      1308 2017-07-28 22:31 ./usr/include/cvc4/util/unsafe_interrupt_exception.h
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/lib/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/lib/x86_64-linux-gnu/
-rw-r--r-- root/root  53616126 2017-07-28 22:31 ./usr/lib/x86_64-linux-gnu/libcvc4.a
-rw-r--r-- root/root   5066772 2017-07-28 22:31 ./usr/lib/x86_64-linux-gnu/libcvc4parser.a
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/share/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/share/doc/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/share/doc/libcvc4-dev/
-rw-r--r-- root/root       156 2017-07-28 22:31 ./usr/share/doc/libcvc4-dev/changelog.Debian.gz
-rw-r--r-- root/root      9985 2017-07-28 22:31 ./usr/share/doc/libcvc4-dev/copyright
lrwxrwxrwx root/root         0 2017-07-28 22:31 ./usr/lib/x86_64-linux-gnu/libcvc4.so -> libcvc4.so.4.0.0
lrwxrwxrwx root/root         0 2017-07-28 22:31 ./usr/lib/x86_64-linux-gnu/libcvc4parser.so -> libcvc4parser.so.4.0.0
control file for libcvc4-4-dbgsym_1.5-1_amd64.deb (click to toggle)
Package:libcvc4-4-dbgsym
Source:cvc4
Version:1.5-1
Auto-Built-Package:debug-symbols
Architecture:amd64
Maintainer:Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size:98207
Depends:libcvc4-4 (=1.5-1)
Section:debug
Priority:extra
Description:
Debug symbols for libcvc4-4
Build-Ids:50e0dfaa68e89f9960f64fd25f7548fe859bcd8e
lintian check for libcvc4-4-dbgsym_1.5-1_amd64.deb (click to toggle)
contents of libcvc4-4-dbgsym_1.5-1_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2017-07-28 22:31 ./
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/lib/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/lib/debug/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/lib/debug/.build-id/50/
-rw-r--r-- root/root 100552720 2017-07-28 22:31 ./usr/lib/debug/.build-id/50/e0dfaa68e89f9960f64fd25f7548fe859bcd8e.debug
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/share/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/share/doc/
lrwxrwxrwx root/root         0 2017-07-28 22:31 ./usr/share/doc/libcvc4-4-dbgsym -> libcvc4-4
control file for cvc4_1.5-1_amd64.deb (click to toggle)
Package:cvc4
Version:1.5-1
Architecture:amd64
Maintainer:Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size:516
Depends:libcvc4-4 (=1.5-1), libcvc4parser4 (=1.5-1), libboost-system1.62.0, libboost-thread1.62.0, libc6 (>=2.14), libgcc1 (>=1:3.0), libgmp10, libreadline7 (>=6.0), libstdc++6 (>=5.2)
Section:math
Priority:optional
Homepage:http://cvc4.cs.stanford.edu/web/
Description:
automated theorem prover for SMT problems
 CVC4 is an efficient automatic theorem prover for satisfiability
 modulo theories (SMT) problems. It can be used to prove the validity
 (or, dually, the satisfiability) of first-order formulas in a large
 number of built-in logical theories and their combination.
 .
 CVC4 is intended to be an open and extensible SMT engine, and it can
 be used as a stand-alone tool or as a library. It is the fourth in
 the Cooperating Validity Checker family of tools (also including CVC,
 CVC Lite and CVC3). CVC4 has been designed to increase the
 performance and reduce the memory overhead of its predecessors.
 .
 This package contains binaries needed to use CVC4 as a stand-alone
 tool.
lintian check for cvc4_1.5-1_amd64.deb (click to toggle)
contents of cvc4_1.5-1_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2017-07-28 22:31 ./
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/bin/
-rwxr-xr-x root/root    145760 2017-07-28 22:31 ./usr/bin/cvc4
-rwxr-xr-x root/root    334200 2017-07-28 22:31 ./usr/bin/pcvc4
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/share/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/share/doc/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/share/doc/cvc4/
-rw-r--r-- root/root       156 2017-07-28 22:31 ./usr/share/doc/cvc4/changelog.Debian.gz
-rw-r--r-- root/root      9985 2017-07-28 22:31 ./usr/share/doc/cvc4/copyright
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/share/man/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/share/man/man1/
-rw-r--r-- root/root     13123 2017-07-28 22:31 ./usr/share/man/man1/cvc4.1.gz
-rw-r--r-- root/root     13123 2017-07-28 22:31 ./usr/share/man/man1/pcvc4.1.gz
control file for cvc4-dbgsym_1.5-1_amd64.deb (click to toggle)
Package:cvc4-dbgsym
Source:cvc4
Version:1.5-1
Auto-Built-Package:debug-symbols
Architecture:amd64
Maintainer:Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size:3074
Depends:cvc4 (=1.5-1)
Section:debug
Priority:extra
Description:
Debug symbols for cvc4
Build-Ids:0580043a08274f14d86619e0671caea5c02932b5 d3dd07ab83cd9737ccc9a177c24bcbb3b328f1d0
lintian check for cvc4-dbgsym_1.5-1_amd64.deb (click to toggle)
contents of cvc4-dbgsym_1.5-1_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2017-07-28 22:31 ./
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/lib/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/lib/debug/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/lib/debug/.build-id/05/
-rw-r--r-- root/root    914616 2017-07-28 22:31 ./usr/lib/debug/.build-id/05/80043a08274f14d86619e0671caea5c02932b5.debug
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/lib/debug/.build-id/d3/
-rw-r--r-- root/root   2220464 2017-07-28 22:31 ./usr/lib/debug/.build-id/d3/dd07ab83cd9737ccc9a177c24bcbb3b328f1d0.debug
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/share/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/share/doc/
lrwxrwxrwx root/root         0 2017-07-28 22:31 ./usr/share/doc/cvc4-dbgsym -> cvc4
control file for libcvc4parser4-dbgsym_1.5-1_amd64.deb (click to toggle)
Package:libcvc4parser4-dbgsym
Source:cvc4
Version:1.5-1
Auto-Built-Package:debug-symbols
Architecture:amd64
Maintainer:Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size:4758
Depends:libcvc4parser4 (=1.5-1)
Section:debug
Priority:extra
Description:
Debug symbols for libcvc4parser4
Build-Ids:678d66357d6ff48e2ae532b970fd589652a5d070
lintian check for libcvc4parser4-dbgsym_1.5-1_amd64.deb (click to toggle)
contents of libcvc4parser4-dbgsym_1.5-1_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2017-07-28 22:31 ./
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/lib/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/lib/debug/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/lib/debug/.build-id/67/
-rw-r--r-- root/root   4861608 2017-07-28 22:31 ./usr/lib/debug/.build-id/67/8d66357d6ff48e2ae532b970fd589652a5d070.debug
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/share/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/share/doc/
lrwxrwxrwx root/root         0 2017-07-28 22:31 ./usr/share/doc/libcvc4parser4-dbgsym -> libcvc4parser4
control file for libcvc4parser4_1.5-1_amd64.deb (click to toggle)
Package:libcvc4parser4
Source:cvc4
Version:1.5-1
Architecture:amd64
Maintainer:Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size:2951
Depends:libantlr3c-3.2-0 | libantlr3c-antlrdbg-3.2-0, libc6 (>=2.14), libcvc4-4, libgcc1 (>=1:3.0), libgmp10, libstdc++6 (>=5.2)
Section:libs
Priority:optional
Homepage:http://cvc4.cs.stanford.edu/web/
Description:
automated theorem prover for SMT problems (parser runtime)
 CVC4 is an efficient automatic theorem prover for satisfiability
 modulo theories (SMT) problems. It can be used to prove the validity
 (or, dually, the satisfiability) of first-order formulas in a large
 number of built-in logical theories and their combination.
 .
 CVC4 is intended to be an open and extensible SMT engine, and it can
 be used as a stand-alone tool or as a library. It is the fourth in
 the Cooperating Validity Checker family of tools (also including CVC,
 CVC Lite and CVC3). CVC4 has been designed to increase the
 performance and reduce the memory overhead of its predecessors.
 .
 This package contains runtime shared libraries for CVC4's parser.
lintian check for libcvc4parser4_1.5-1_amd64.deb (click to toggle)
contents of libcvc4parser4_1.5-1_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2017-07-28 22:31 ./
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/lib/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/lib/x86_64-linux-gnu/
-rw-r--r-- root/root   2998344 2017-07-28 22:31 ./usr/lib/x86_64-linux-gnu/libcvc4parser.so.4.0.0
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/share/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/share/doc/
drwxr-xr-x root/root         0 2017-07-28 22:31 ./usr/share/doc/libcvc4parser4/
-rw-r--r-- root/root       156 2017-07-28 22:31 ./usr/share/doc/libcvc4parser4/changelog.Debian.gz
-rw-r--r-- root/root      9985 2017-07-28 22:31 ./usr/share/doc/libcvc4parser4/copyright
lrwxrwxrwx root/root         0 2017-07-28 22:31 ./usr/lib/x86_64-linux-gnu/libcvc4parser.so.4 -> libcvc4parser.so.4.0.0

Timestamp: 31.07.2017 / 21:02:01 (UTC)