https://bugzilla.redhat.com/show_bug.cgi?id=1847772
Fedora Update System changed:
What|Removed |Added
Status|ON_QA |CLOSED
Resolution|---
https://bugzilla.redhat.com/show_bug.cgi?id=1847772
Fedora Update System changed:
What|Removed |Added
Status|MODIFIED|ON_QA
--- Comment #5 from
https://bugzilla.redhat.com/show_bug.cgi?id=1847772
Fedora Update System changed:
What|Removed |Added
Status|POST|MODIFIED
--- Comment #4 from
https://bugzilla.redhat.com/show_bug.cgi?id=1847772
--- Comment #3 from Gwyn Ciesla ---
(fedscm-admin): The Pagure repository was created at
https://src.fedoraproject.org/rpms/ocaml-psmt2-frontend
--
You are receiving this mail because:
You are on the CC list for the bug.
You are always
https://bugzilla.redhat.com/show_bug.cgi?id=1847772
Robert-André Mauchin changed:
What|Removed |Added
Status|NEW |POST
CC|
https://bugzilla.redhat.com/show_bug.cgi?id=1847772
--- Comment #1 from Jerry James ---
I need to downgrade to version 0.1. It turns out that the latest free version
of alt-ergo needs version 0.1, and will NOT work with version 0.2 (at least not
without a significant amount of patching). New