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.1-9.mga8 RPM for armv7hl

From Mageia 8 for armv7hl / media / debug / core / release

Name: ocaml-psmt2-frontend-debugsource Distribution: Mageia
Version: 0.1 Vendor: Mageia.Org
Release: 9.mga8 Build date: Sat Aug 22 10:03:52 2020
Group: Development/Debug Build host: localhost
Size: 1006900 Source RPM: ocaml-psmt2-frontend-0.1-9.mga8.src.rpm
Packager: tv <tv>
Url: https://github.com/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

* Sat Aug 22 2020 tv <tv> 0.1-9.mga8
  + Revision: 1617869
  - Rebuild for new ocaml deps generator
* Fri Feb 28 2020 umeabot <umeabot> 0.1-8.mga8
  + Revision: 1551460
  - Rebuild for ocaml 4.10.0 final
* Wed Feb 19 2020 umeabot <umeabot> 0.1-7.mga8
  + Revision: 1544193
  - Mageia 8 Mass Rebuild
* Fri Jan 24 2020 tv <tv> 0.1-6.mga8
  + Revision: 1482694
  - rebuild for ocaml-4.10
  + wally <wally>
  - replace deprecated %configure2_5x
* Wed Jun 19 2019 tmb <tmb> 0.1-5.mga7
  + Revision: 1400356
  - rebuild for armv7
* Wed Jun 19 2019 tmb <tmb> 0.1-4.mga7
  + Revision: 1400350
  - rollback to 0.1
* Fri Jan 18 2019 kekepower <kekepower> 0.2-1.mga7
  + Revision: 1357968
  - Update to version 0.2
  - Rediffed patches
* Tue Oct 23 2018 pterjan <pterjan> 0.1-3.mga7
  + Revision: 1324403
  - Rebuild for ocaml 4.07.1
* Sun Sep 23 2018 umeabot <umeabot> 0.1-2.mga7
  + Revision: 1299920
  - Mageia 7 Mass Rebuild

Files

/usr/src/debug/ocaml-psmt2-frontend-0.1-9.mga8.arm
/usr/src/debug/ocaml-psmt2-frontend-0.1-9.mga8.arm/src
/usr/src/debug/ocaml-psmt2-frontend-0.1-9.mga8.arm/src/options.ml
/usr/src/debug/ocaml-psmt2-frontend-0.1-9.mga8.arm/src/smtlib_error.ml
/usr/src/debug/ocaml-psmt2-frontend-0.1-9.mga8.arm/src/smtlib_lexer.ml
/usr/src/debug/ocaml-psmt2-frontend-0.1-9.mga8.arm/src/smtlib_lexer.mll
/usr/src/debug/ocaml-psmt2-frontend-0.1-9.mga8.arm/src/smtlib_parser.ml
/usr/src/debug/ocaml-psmt2-frontend-0.1-9.mga8.arm/src/smtlib_parser.mly
/usr/src/debug/ocaml-psmt2-frontend-0.1-9.mga8.arm/src/smtlib_printer.ml
/usr/src/debug/ocaml-psmt2-frontend-0.1-9.mga8.arm/src/smtlib_ty.ml
/usr/src/debug/ocaml-psmt2-frontend-0.1-9.mga8.arm/src/smtlib_typed_env.ml
/usr/src/debug/ocaml-psmt2-frontend-0.1-9.mga8.arm/src/smtlib_typed_logic.ml
/usr/src/debug/ocaml-psmt2-frontend-0.1-9.mga8.arm/src/smtlib_typing.ml

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Mar 9 11:42:30 2025