Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
provide cvc5-1.0.2 (inactive);
authorwenzelm
Mon, 29 Aug 2022 19:26:27 +0200
changeset 76019 f3d8da992445
parent 76018 8e796c204b87
child 76020 04ce6cf2bd3b
provide cvc5-1.0.2 (inactive);
Admin/components/components.sha1 file | annotate | diff | comparison | revisions 
--- 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
isabelle