Sat, 14 Dec 2024 02:39:47 UTC | login

Information for build ocaml-psmt2-frontend-0.1-6.fc33.1.rvre1

ID195325
Package Nameocaml-psmt2-frontend
Version0.1
Release6.fc33.1.rvre1
Epoch
Sourcegit+http://fedora.riscv.rocks:3000/rpms/ocaml-psmt2-frontend.git#50d0f2e566771d2a12d51039b928a127c8284e8b
SummaryParser and typechecker for an extension of SMT-LIB 2
DescriptionThis package contains a library to parse and typecheck a conservative extension of the SMT-LIB 2 standard with prenex polymorphism.
Built bydavidlt
State failed
Volume DEFAULT
StartedSun, 25 Apr 2021 12:09:27 UTC
CompletedSun, 25 Apr 2021 12:18:52 UTC
Taskbuild (f33, /rpms/ocaml-psmt2-frontend.git:50d0f2e566771d2a12d51039b928a127c8284e8b)
Extra{'source': {'original_url': 'git+http://fedora.riscv.rocks:3000/rpms/ocaml-psmt2-frontend.git#50d0f2e566771d2a12d51039b928a127c8284e8b'}}
Tags No tags
RPMs No RPMs
Changelog * Sun Apr 25 2021 David Abdurachmanov <david.abdurachmanov@sifive.com> - 0.1-6.1.rvre1 - Rebuilt for Fedora RISCV, no changes * Sun Apr 25 2021 David Abdurachmanov <david.abdurachmanov@sifive.com> - 0.1-6.1.rvre0 - Rebuilt for Fedora RISCV, no changes * 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