معرفی شرکت ها

alt-ergo-debugsource-2.3.3-6.fc38.x86_64.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Debug sources for package alt-ergo
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything x86_64
نام بسته alt-ergo-debugsource
نام فایل بسته alt-ergo-debugsource-2.3.3-6.fc38.x86_64.rpm
نسخه بسته 2.3.3
انتشار بسته 6.fc38
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Fri 24 Mar 2023 07
هاست سازنده buildvm-x86-17.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://alt-ergo.ocamlpro.com/
مجوز Apache-2.0 AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception
حجم دانلود 286K
حجم نصب 1.951M
This package provides debug sources for package alt-ergo. Debug sources are useful when developing applications that use this package or when debugging this package.


جایگزین ها

بسته نسخه معماری مخزن
alt-ergo-debugsource-2.3.3-6.fc38.aarch64.rpm 2.3.3 aarch64 Fedora Everything
alt-ergo-debugsource-2.3.3-6.fc38.i686.rpm 2.3.3 i686 Fedora Everything


ارائه دهنده

مقدار نام
= 2.3.3-6.fc38 alt-ergo-debugsource
= 2.3.3-6.fc38 alt-ergo-debugsource(x86-64)


نحوه نصب


نصب پکیج rpm alt-ergo-debugsource:

    dnf install alt-ergo-debugsource-2.3.3-6.fc38.x86_64.rpm


فایل ها

مسیرها
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/frontend
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/frontend/cnf.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/frontend/frontend.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/frontend/input.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/frontend/parsed_interface.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/frontend/typechecker.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/ac.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/adt.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/adt_rel.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/arith.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/arrays.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/arrays_rel.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/bitv.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/bitv_rel.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/ccx.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/enum.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/enum_rel.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/fun_sat.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/inequalities.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/instances.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/intervalCalculus.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/intervals.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/ite.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/ite_rel.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/matching.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/polynome.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/records.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/records_rel.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/relation.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/sat_solver.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/satml.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/satml_frontend.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/satml_frontend_hybrid.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/shostak.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/theory.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/uf.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/reasoners/use.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/structures
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/structures/commands.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/structures/errors.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/structures/explanation.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/structures/expr.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/structures/fpa_rounding.ml
/usr/src/debug/alt-ergo-2.3.3-6.fc38.x86_64/sources/_build/default/lib/structures/profiling.ml
... and 43 more


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

تاریخ آخرین تغییر جزئیات
2023-03-24

Dune 3.7.0 changed the install location of mli files

2023-01-24

Rebuild OCaml packages for F38

2023-01-18

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

2022-08-11

Convert License tag to SPDX
Note that the AB plugin has a different license

2022-07-20

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

2022-07-05

Patch out uses of the dune external-lib-deps command
Patch out references to the seq forward compatibility module
Use new OCaml macros

2022-06-20

Version 2.3.3
Add -menhir patch to fix FTBFS
Add -stdlib-shims patch since Fedora does not need stdlib-shims

2022-06-19

OCaml 4.14.0 rebuild

2022-02-28

Switch to the correct tarball
Drop unneeded ocaml-findlib BR
Add dependency on ocaml-alt-ergo-parsers from ocaml-alt-ergo-parsers-devel

2022-02-04

OCaml 4.13.1 rebuild to remove package notes

2022-01-19

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

2021-12-27

Version 2.3.0
New ocaml-alt-ergo-lib and ocaml-alt-ergo-parsers subpackages

2021-10-05

OCaml 4.13.1 build

2021-07-29

Rebuild for changed ocamlx(Dynlink)

2021-07-21

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

2021-07-19

Move META to the main package