معرفی شرکت ها

ocaml-psmt2-frontend-debugsource-0.4.0-7.fc38.x86_64.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Debug sources for package ocaml-psmt2-frontend
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything x86_64
نام بسته ocaml-psmt2-frontend-debugsource
نام فایل بسته ocaml-psmt2-frontend-debugsource-0.4.0-7.fc38.x86_64.rpm
نسخه بسته 0.4.0
انتشار بسته 7.fc38
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Tue 24 Jan 2023 10
هاست سازنده buildhw-x86-11.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://github.com/ACoquereau/psmt2-frontend
مجوز Apache-2.0
حجم دانلود 57K
حجم نصب 999.137K
This package provides debug sources for package ocaml-psmt2-frontend. Debug sources are useful when developing applications that use this package or when debugging this package.


جایگزین ها

بسته نسخه معماری مخزن
ocaml-psmt2-frontend-debugsource-0.4.0-7.fc38.aarch64.rpm 0.4.0 aarch64 Fedora Everything
ocaml-psmt2-frontend-debugsource-0.4.0-7.fc38.i686.rpm 0.4.0 i686 Fedora Everything


ارائه دهنده

مقدار نام
= 0.4.0-7.fc38 ocaml-psmt2-frontend-debugsource
= 0.4.0-7.fc38 ocaml-psmt2-frontend-debugsource(x86-64)


نحوه نصب


نصب پکیج rpm ocaml-psmt2-frontend-debugsource:

    dnf install ocaml-psmt2-frontend-debugsource-0.4.0-7.fc38.x86_64.rpm


فایل ها

مسیرها
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-7.fc38.x86_64
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-7.fc38.x86_64/_build
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-7.fc38.x86_64/_build/default
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-7.fc38.x86_64/_build/default/src
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-7.fc38.x86_64/_build/default/src/bin
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-7.fc38.x86_64/_build/default/src/bin/main.ml
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-7.fc38.x86_64/_build/default/src/lib
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-7.fc38.x86_64/_build/default/src/lib/main.ml
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-7.fc38.x86_64/_build/default/src/lib/options.ml
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-7.fc38.x86_64/_build/default/src/lib/smtlib_error.ml
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-7.fc38.x86_64/_build/default/src/lib/smtlib_lexer.ml
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-7.fc38.x86_64/_build/default/src/lib/smtlib_lexer.mll
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-7.fc38.x86_64/_build/default/src/lib/smtlib_parser.ml
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-7.fc38.x86_64/_build/default/src/lib/smtlib_parser.mly
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-7.fc38.x86_64/_build/default/src/lib/smtlib_printer.ml
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-7.fc38.x86_64/_build/default/src/lib/smtlib_ty.ml
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-7.fc38.x86_64/_build/default/src/lib/smtlib_typed_env.ml
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-7.fc38.x86_64/_build/default/src/lib/smtlib_typed_logic.ml


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

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

Rebuild OCaml packages for F38

2023-01-19

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

2022-12-12

New URL
Convert License tag to SPDX

2022-07-22

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

2022-07-21

Use new OCaml macros

2022-06-19

OCaml 4.14.0 rebuild

2022-02-04

OCaml 4.13.1 rebuild to remove package notes

2022-01-20

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

2021-12-27

Version 0.4.0
Drop obsolete -autoconf patch
Add %check script
Add -docs subpackage

2021-10-05

OCaml 4.13.1 build

2021-07-22

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

2021-07-19

Move META to the main package

2021-03-29

Add -autoconf patch for autoconf 2.71 (bz 1943044)

2021-03-02

OCaml 4.12.0 build

2021-01-26

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