Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: ocaml-psmt2-frontend-debugsource | Distribution: Mageia |
Version: 0.4.0 | Vendor: Mageia.Org |
Release: 2.mga9 | Build date: Tue Mar 7 21:00:25 2023 |
Group: Development/Debug | Build host: localhost |
Size: 1023116 | Source RPM: ocaml-psmt2-frontend-0.4.0-2.mga9.src.rpm |
Packager: kekepower <kekepower> | |
Url: https://github.com/OCamlPro-Coquera/psmt2-frontend | |
Summary: Debug sources for package ocaml-psmt2-frontend |
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.
ASL 2.0
* Tue Mar 07 2023 kekepower <kekepower> 0.4.0-2.mga9 + Revision: 1948331 - Add a GitHub PR to fix a trivial typo * Mon Mar 06 2023 kekepower <kekepower> 0.4.0-1.mga9 + Revision: 1947902 - Update to version 0.4.0 * Wed May 18 2022 pterjan <pterjan> 0.1-14.mga9 + Revision: 1858775 - Rebuild for OCaml 4.14 * Tue Mar 29 2022 umeabot <umeabot> 0.1-13.mga9 + Revision: 1833132 - Mageia 9 Mass Rebuild * Wed Oct 13 2021 tv <tv> 0.1-12.mga9 + Revision: 1751011 - Move META to the main package - Add -autoconf patch for autoconf 2.71
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.x86_64 /usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.x86_64/_build /usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.x86_64/_build/default /usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.x86_64/_build/default/src /usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.x86_64/_build/default/src/bin /usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.x86_64/_build/default/src/bin/main.ml /usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.x86_64/_build/default/src/lib /usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.x86_64/_build/default/src/lib/main.ml /usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.x86_64/_build/default/src/lib/options.ml /usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.x86_64/_build/default/src/lib/smtlib_error.ml /usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.x86_64/_build/default/src/lib/smtlib_lexer.ml /usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.x86_64/_build/default/src/lib/smtlib_lexer.mll /usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.x86_64/_build/default/src/lib/smtlib_parser.ml /usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.x86_64/_build/default/src/lib/smtlib_parser.mly /usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.x86_64/_build/default/src/lib/smtlib_printer.ml /usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.x86_64/_build/default/src/lib/smtlib_ty.ml /usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.x86_64/_build/default/src/lib/smtlib_typed_env.ml /usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.x86_64/_build/default/src/lib/smtlib_typed_logic.ml /usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.x86_64/_build/default/src/lib/smtlib_typing.ml
Generated by rpm2html 1.8.1
Fabrice Bellet, Sun Aug 18 22:21:02 2024