Pisilinux/main
5
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

z3

Browse Source
This commit is contained in:
Kamil ATLI
2023-01-29 19:56:24 +03:00
committed by GitHub
parent 7a341647c3
commit ddbdb66192
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
programming/library/z3/pspec.xml
+1 -1
View File
@@ -70,7 +70,7 @@
<Update release="7">
<Date>2023-01-28</Date>
<Version>4.12.1</Version>
<Comment>Version bump.</Comment>
<Comment>Version bump</Comment>
<Name>fury</Name>
<Email>uglyside@yandex.ru</Email>
</Update>