[rpms/ethos] f45: Version 0.2.5

[rpms/ethos] f45: Version 0.2.5

[Jerry James]

A new commit has been pushed.

Repo   : rpms/ethos
Branch : f45
Commit : 246281c2671732334676d257832e31ddc3bfd676
Author : Jerry James <loganjerry@gmail.com>
Date   : 2026-09-25T13:53:46-06:00
Stats  : +2/-5 in 2 file(s)
URL    : https://src.fedoraproject.org/rpms/ethos/c/246281c2671732334676d257832e31ddc3bfd676?branch=f45

Log:
Version 0.2.5

---
diff --git a/ethos.spec b/ethos.spec
index 39d72fd..279b894 100644
--- a/ethos.spec
+++ b/ethos.spec
@@ -2,7 +2,7 @@
 %bcond ctest 1
 
 Name:           ethos
-Version:        0.2.3
+Version:        0.2.5
 Release:        %autorelease
 Summary:        Flexible and efficient proof checker for SMT solvers
 
@@ -30,9 +30,6 @@ Satisfiability Modulo Theories (SMT) solvers.
 # We want to know about use of deprecated interfaces
 sed -i '/Wno-deprecated/d' CMakeLists.txt
 
-# Make sure the bundled copy of drat-trim is not used in the build
-rm -fr contrib/drat_trim
-
 %install
 mkdir -p %{buildroot}%{_bindir}
 cp -p %{_vpath_builddir}/src/ethos %{buildroot}%{_bindir}

diff --git a/sources b/sources
index f2cafad..9194ed1 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (ethos-0.2.3.tar.gz) = 6a03ab8f97db0a338656eeaf47a6090118fdc2ef542dc21f508d00584b9d59fe832f32d7f9b4b2e00a3b6ebce7f3cdc07fe5013625fc305e6d6ec65e7c637f5e
+SHA512 (ethos-0.2.5.tar.gz) = 3165bae102d3248f744d09d03dab9f8897cc2351e41f420eef3eae39fa711266bcd64cbdbe3dc4030b11ffff80375b1db6e2d8f8bc4f944956be0d322cd5ff75