ocaml-psmt2-frontend-0.4.0-32.fc45 | Build Info

Information for build ocaml-psmt2-frontend-0.4.0-32.fc45

8312

Package Name

ocaml-psmt2-frontend

Version

0.4.0

Release

32.fc45

Epoch

Draft

False

Source

git+https://src.fedoraproject.org/rpms/ocaml-psmt2-frontend.git#8d1df4b72649da051471bf908294c3e356a3ba2a

Summary

Parser and typechecker for an extension of SMT-LIB 2

Description

This package contains a library to parse and typecheck a conservative extension of the SMT-LIB 2 standard with prenex polymorphism.

VCS

git:https://github.com/ACoquereau/psmt2-frontend.git

Built by

guoguo

State

complete

Volume

DEFAULT

Started

Fri, 16 Oct 2026 13:04:25 UTC

Completed

Fri, 16 Oct 2026 13:08:21 UTC

Task

build (f45, /rpms/ocaml-psmt2-frontend.git:8d1df4b72649da051471bf908294c3e356a3ba2a)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ocaml-psmt2-frontend.git#8d1df4b72649da051471bf908294c3e356a3ba2a'}}

Tags

f45

RPMs

src
	ocaml-psmt2-frontend-0.4.0-32.fc45.src.rpm (info) (download)
riscv64
	ocaml-psmt2-frontend-0.4.0-32.fc45.riscv64.rpm (info) (download)
	ocaml-psmt2-frontend-devel-0.4.0-32.fc45.riscv64.rpm (info) (download)
	ocaml-psmt2-frontend-docs-0.4.0-32.fc45.riscv64.rpm (info) (download)
	ocaml-psmt2-frontend-debuginfo-0.4.0-32.fc45.riscv64.rpm (info) (download)
	ocaml-psmt2-frontend-debugsource-0.4.0-32.fc45.riscv64.rpm (info) (download)

Logs

riscv64
	mock_config.log
	state.log
	build.log
	root.log
	dnf5.log
	mock_output.log
	hw_info.log
	installed_pkgs.log

Changelog

* Thu Jul 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.4.0-32 - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild * Thu Jul 09 2026 Jerry James <loganjerry@gmail.com> - 0.4.0-31 - OCaml 5.5.0 rebuild - Use the dune declarative buildsystem * Fri Feb 20 2026 Richard W.M. Jones <rjones@redhat.com> - 0.4.0-30 - OCaml 5.4.1 rebuild * Mon Feb 02 2026 Jerry James <loganjerry@gmail.com> - 0.4.0-29 - Rebuild for ocaml-menhir 20260122 * Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.4.0-28 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Tue Oct 14 2025 Richard W.M. Jones <rjones@redhat.com> - 0.4.0-27 - OCaml 5.4.0 rebuild * Tue Sep 16 2025 Jerry James <loganjerry@gmail.com> - 0.4.0-26 - Rebuild for ocaml-menhir 20250912 * Fri Sep 05 2025 Jerry James <loganjerry@gmail.com> - 0.4.0-25 - Rebuild for ocaml-menhir 20250903 * Thu Jul 24 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.4.0-24 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Fri Jul 11 2025 Jerry James <loganjerry@gmail.com> - 0.4.0-23 - Rebuild to fix OCaml dependencies * Fri Jan 17 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.4.0-22 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Thu Jan 09 2025 Jerry James <loganjerry@gmail.com> - 0.4.0-21 - OCaml 5.3.0 rebuild for Fedora 42 * Mon Aug 05 2024 Jerry James <loganjerry@gmail.com> - 0.4.0-20 - Rebuild for ocaml-menhir 20240715 * Thu Jul 18 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.4.0-19 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild

Main Site Links:

Information for build ocaml-psmt2-frontend-0.4.0-32.fc45