معرفی شرکت ها

cvc4-debugsource-1.8-13.fc37.aarch64.rpm

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Debug sources for package cvc4
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 37
مخزن Fedora Everything aarch64
نام بسته cvc4-debugsource
نام فایل بسته cvc4-debugsource-1.8-13.fc37.aarch64.rpm
نسخه بسته 1.8
انتشار بسته 13.fc37
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Wed 12 Oct 2022 01
هاست سازنده buildhw-a64-23.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://cvc4.github.io/
مجوز BSD-3-Clause AND MIT
حجم دانلود 2.7M
حجم نصب 24.036M
This package provides debug sources for package cvc4. Debug sources are useful when developing applications that use this package or when debugging this package.


جایگزین ها

بسته نسخه معماری مخزن
cvc4-debugsource-1.8-12.fc37.aarch64.rpm 1.8 aarch64 Fedora Everything
cvc4-debugsource-1.8-12.fc37.x86_64.rpm 1.8 x86_64 Fedora Everything
cvc4-debugsource-1.8-13.fc37.x86_64.rpm 1.8 x86_64 Fedora Everything


ارائه دهنده

مقدار نام
= 1.8-13.fc37 cvc4-debugsource
= 1.8-13.fc37 cvc4-debugsource(aarch-64)


نحوه نصب


نصب پکیج rpm cvc4-debugsource:

    dnf install cvc4-debugsource-1.8-13.fc37.aarch64.rpm


فایل ها

مسیرها
/usr/src/debug/cvc4-1.8-13.fc37.aarch64
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/proofs
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/proofs/signatures
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/proofs/signatures/signatures.cpp
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/api
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/api/python
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/api/python/pycvc4.cxx
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/base
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/base/git_versioninfo.cpp
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/bindings
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/bindings/java
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/bindings/java/CMakeFiles
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/bindings/java/CMakeFiles/cvc4jni.dir
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/bindings/java/CMakeFiles/cvc4jni.dir/cvc4JAVA_wrap.cxx
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/bindings/python
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/bindings/python/CMakeFiles
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/bindings/python/CMakeFiles/_CVC4.dir
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/bindings/python/CMakeFiles/_CVC4.dir/cvc4PYTHON_wrap.cxx
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/expr
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/expr/expr.cpp
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/expr/expr_manager.cpp
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/expr/kind.cpp
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/expr/kind.h
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/expr/metakind.cpp
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/expr/metakind.h
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/expr/type_checker.cpp
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/main
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/options
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/options/arith_options.cpp
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/options/arith_options.h
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/options/arrays_options.cpp
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/options/arrays_options.h
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/options/base_options.cpp
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/options/base_options.h
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/options/booleans_options.cpp
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/options/builtin_options.cpp
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/options/bv_options.cpp
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/options/bv_options.h
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/options/datatypes_options.cpp
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/options/datatypes_options.h
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/options/decision_options.cpp
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/options/decision_options.h
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/options/expr_options.cpp
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/options/expr_options.h
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/options/fp_options.cpp
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/options/fp_options.h
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/options/main_options.cpp
/usr/src/debug/cvc4-1.8-13.fc37.aarch64/redhat-linux-build/src/options/main_options.h
... and 1105 more


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2022-10-11

Add -bash-patsub-replacement patch to fix build with bash 5.2 (bz 2133760)
Add -toml patch and drop python3-toml BR

2022-08-15

Convert License tag to SPDX

2022-07-20

Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

2022-07-19

Drop support for i686 due to ANTLR unavailability

2022-06-13

Rebuilt for Python 3.11

2022-03-04

Remove . from %cmake invocation to fix FTBFS (rhbz#2060821)
Drop -const-map-key patch now that gcc has been fixed

2022-02-05

Rebuilt for java-17-openjdk as system jdk

2022-01-22

Add -const-map-key patch to fix FTBFS

2022-01-20

Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
Use the default linker

2021-07-21

Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

2021-06-04

Rebuilt for Python 3.10

2021-06-02

Remove spurious rpaths (bz 1967190)
Fix broken jar symlink
Add missing executable bit to python shared object

2021-01-26

Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild

2021-01-20

Add -dup-decl patch to fix FTBFS with recent LFSC versions

2020-11-27

Rebuild for cryptominisat 5.8.0