ocaml-psmt2-frontend-0.1-6.fc33.1 | Build Info

ID	188373
Package Name	ocaml-psmt2-frontend
Version	0.1
Release	6.fc33.1
Epoch
Source	git+https://src.fedoraproject.org/rpms/ocaml-psmt2-frontend.git#3b901631f82f1f3375aaaf56c9795d64dce787f0
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.
Built by	davidlt
State	failed
Volume	DEFAULT
Started	Fri, 07 May 2021 19:38:17 UTC
Completed	Fri, 07 May 2021 19:56:23 UTC
Task	build (f33, /rpms/ocaml-psmt2-frontend.git:3b901631f82f1f3375aaaf56c9795d64dce787f0)
Extra	{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ocaml-psmt2-frontend.git#3b901631f82f1f3375aaaf56c9795d64dce787f0'}}
Tags	No tags
RPMs	No RPMs
Changelog	* Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 0.1-6.1 - Bump release and rebuild. * Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 0.1-6 - OCaml 4.11.1 rebuild * Sat Aug 22 2020 Richard W.M. Jones <rjones@redhat.com> - 0.1-5 - Bump and rebuild * Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 0.1-4 - OCaml 4.11.0 rebuild * Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.1-3 - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Wed Jun 17 2020 Jerry James <loganjerry@gmail.com> - 0.1-1 - Initial RPM