Sat, 27 Apr 2024 00:35:01 UTC | login

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

ID195372
Package Nameocaml-psmt2-frontend
Version0.1
Release6.fc33.1.rvre2
Epoch
Sourcegit+http://fedora.riscv.rocks:3000/rpms/ocaml-psmt2-frontend.git#02568de783cebb295e78cc0d8f9f72c4ad0ecaa4
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 14:55:15 UTC
CompletedSun, 25 Apr 2021 15:04:48 UTC
Taskbuild (f33, /rpms/ocaml-psmt2-frontend.git:02568de783cebb295e78cc0d8f9f72c4ad0ecaa4)
Extra{'source': {'original_url': 'git+http://fedora.riscv.rocks:3000/rpms/ocaml-psmt2-frontend.git#02568de783cebb295e78cc0d8f9f72c4ad0ecaa4'}}
Tags No tags
RPMs No RPMs
Changelog * Sun Apr 25 2021 David Abdurachmanov <david.abdurachmanov@sifive.com> - 0.1-6.1.rvre2 - Rebuilt for Fedora RISCV, no changes * 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