ocaml-psmt2-frontend-0.1-3.fc33 | Build Info

ID	178357
Package Name	ocaml-psmt2-frontend
Version	0.1
Release	3.fc33
Epoch
Source	git+https://src.fedoraproject.org/rpms/ocaml-psmt2-frontend.git#4fdf1c80dba96eab9916683f2c58b4ca2b42104a
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	Sat, 05 Sep 2020 13:42:11 UTC
Completed	Sat, 05 Sep 2020 13:55:31 UTC
Task	build (f33, /rpms/ocaml-psmt2-frontend.git:4fdf1c80dba96eab9916683f2c58b4ca2b42104a)
Extra	{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ocaml-psmt2-frontend.git#4fdf1c80dba96eab9916683f2c58b4ca2b42104a'}}
Tags	No tags
RPMs	No RPMs
Changelog	* 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