# HG changeset patch
# User wenzelm
# Date 1661793987 -7200
# Node ID f3d8da9924454603a3cb1db1a6048a3e1c65e146
# Parent  8e796c204b87d637b526231f9c7452f8254a7372
provide cvc5-1.0.2 (inactive);

diff -r 8e796c204b87 -r f3d8da992445 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Mon Aug 29 19:25:55 2022 +0200
+++ b/Admin/components/components.sha1	Mon Aug 29 19:26:27 2022 +0200
@@ -40,6 +40,7 @@
 76ff6103b8560f0e2778bbfbdb05f5fa18f850b7 cvc4-1.5pre-4.tar.gz
 03aec2ec5757301c9df149f115d1f4f1d2cafd9e cvc4-1.5pre.tar.gz
 e99560d0b7cb9bafde2b0ec1a3a95af315918a25 cvc4-1.8.tar.gz
+9e0d91f9f3bc0b69e60e50ca683cfcdcbfee6d62 cvc5-1.0.2.tar.gz
 842d9526f37b928cf9e22f141884365129990d63 cygwin-20130110.tar.gz
 cb3b0706d208f104b800267697204f6d82f7b48a cygwin-20130114.tar.gz
 3b44cca04855016d5f8cfb5101b2e0579ab80197 cygwin-20130117.tar.gz