معرفی شرکت ها

coq-debugsource-8.17.1-5.fc39.aarch64.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Debug sources for package coq
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 39
مخزن Fedora Everything aarch64
نام بسته coq-debugsource
نام فایل بسته coq-debugsource-8.17.1-5.fc39.aarch64.rpm
نسخه بسته 8.17.1
انتشار بسته 5.fc39
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Thu 27 Jul 2023 08
هاست سازنده buildvm-a64-29.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://coq.inria.fr/
مجوز LGPL-2.1-only AND MIT AND BSD-3-Clause
حجم دانلود 2.0M
حجم نصب 9.904M
This package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.


جایگزین ها

بسته نسخه معماری مخزن
coq-debugsource-8.17.1-5.fc39.x86_64.rpm 8.17.1 x86_64 Fedora Everything
coq-debugsource-8.18.0-1.fc39.aarch64.rpm 8.18.0 aarch64 Fedora Everything
coq-debugsource-8.18.0-1.fc39.x86_64.rpm 8.18.0 x86_64 Fedora Everything


ارائه دهنده

مقدار نام
= 8.17.1-5.fc39 coq-debugsource
= 8.17.1-5.fc39 coq-debugsource(aarch-64)


نحوه نصب


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

    dnf install coq-debugsource-8.17.1-5.fc39.aarch64.rpm


فایل ها

مسیرها
/usr/src/debug/coq-8.17.1-5.fc39.aarch64
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/boot
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/boot/env.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/boot/usage.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/boot/util.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/checker
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/checker/analyze.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/checker/check.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/checker/checkFlags.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/checker/checkInductive.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/checker/check_stat.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/checker/checker.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/checker/mod_checking.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/checker/safe_checking.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/checker/validate.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/checker/values.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/checker/votour.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/cArray.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/cEphemeron.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/cList.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/cMap.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/cObj.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/cSet.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/cString.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/cThread.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/cUnix.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/diff2.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/dyn.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/exninfo.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/hMap.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/hashcons.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/hashset.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/heap.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/iStream.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/int.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/monad.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/neList.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/option.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/orderedType.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/predicate.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/range.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/sList.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/segmenttree.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/store.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/terminal.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/trie.ml
/usr/src/debug/coq-8.17.1-5.fc39.aarch64/_build/default/clib/unicode.ml
... and 567 more


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

تاریخ آخرین تغییر جزئیات
2023-07-27

Rebuild for ocaml-zarith 1.13

2023-07-19

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

2023-07-18

Validate appdata with appstream-util

2023-07-12

OCaml 5.0 rebuild for Fedora 39
Only build coq and friends on architectures with the native compiler.

2023-07-10

Version 8.17.1
Build in release mode
Disable the native compiler, which is incompatible with OCaml 5.0

2023-04-01

Version 8.17.0
Drop upstreamed patch for Sphinx 5 support

2023-01-24

Rebuild OCaml packages for F38

2023-01-19

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

2022-11-26

Version 8.16.1

2022-10-06

Remove the manual, which has a non-free license (bz 2132567)

2022-09-16

Version 8.16.0
Drop upstreamed patch for Sphinx 4.5 support

2022-08-15

Convert License tags to SPDX

2022-07-20

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

2022-07-19

Enable documentation build with Sphinx 5+

2022-07-19

Remove i686 support
Use new OCaml macros

2022-06-20

Rebuild for antlr4-project 4.10.1