Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

ocaml-psmt2-frontend-debugsource-0.4.0-2.mga9 RPM for i586

From Mageia Cauldron for i586 / media / debug / core / release

Name: ocaml-psmt2-frontend-debugsource Distribution: Mageia
Version: 0.4.0 Vendor: Mageia.Org
Release: 2.mga9 Build date: Tue Mar 7 21:00:38 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.

Provides

Requires

License

ASL 2.0

Changelog

* 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

Files

/usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.i386
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.i386/_build
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.i386/_build/default
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.i386/_build/default/src
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.i386/_build/default/src/bin
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.i386/_build/default/src/bin/main.ml
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.i386/_build/default/src/lib
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.i386/_build/default/src/lib/main.ml
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.i386/_build/default/src/lib/options.ml
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.i386/_build/default/src/lib/smtlib_error.ml
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.i386/_build/default/src/lib/smtlib_lexer.ml
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.i386/_build/default/src/lib/smtlib_lexer.mll
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.i386/_build/default/src/lib/smtlib_parser.ml
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.i386/_build/default/src/lib/smtlib_parser.mly
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.i386/_build/default/src/lib/smtlib_printer.ml
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.i386/_build/default/src/lib/smtlib_ty.ml
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.i386/_build/default/src/lib/smtlib_typed_env.ml
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.i386/_build/default/src/lib/smtlib_typed_logic.ml
/usr/src/debug/ocaml-psmt2-frontend-0.4.0-2.mga9.i386/_build/default/src/lib/smtlib_typing.ml

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 10:16:32 2024