Sat, 14 Dec 2024 02:45:17 UTC | login

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

ID195295
Package Nameocaml-psmt2-frontend
Version0.1
Release6.fc33.1.rvre0
Epoch
Sourcegit+http://fedora.riscv.rocks:3000/rpms/ocaml-psmt2-frontend.git#17d0707878aeb325478643ad4af96c9c67ee44c9
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 08:10:29 UTC
CompletedSun, 25 Apr 2021 08:20:30 UTC
Taskbuild (f33, /rpms/ocaml-psmt2-frontend.git:17d0707878aeb325478643ad4af96c9c67ee44c9)
Extra{'source': {'original_url': 'git+http://fedora.riscv.rocks:3000/rpms/ocaml-psmt2-frontend.git#17d0707878aeb325478643ad4af96c9c67ee44c9'}}
Tags No tags
RPMs No RPMs
Changelog * 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