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

change maintainer.

Browse Source
This commit is contained in:
uglyside
2024-08-18 09:29:57 +03:00
parent 2ea6662ef8
commit 908681f52b
8 changed files with 32 additions and 32 deletions
Download Patch File Download Diff File Expand all files Collapse all files
programming/library/z3/pspec.xml
+10 -10
View File
@@ -5,8 +5,8 @@
<Name>z3</Name>
<Homepage>https://github.com/Z3Prover/z3</Homepage>
<Packager>
<Name>fury</Name>
<Email>uglyside@yandex.ru</Email>
<Name>PisiLinux Community</Name>
<Email>admins@pisilinux.org</Email>
</Packager>
<License>MIT</License>
<IsA>library</IsA>
@@ -64,14 +64,14 @@
</Files>
</Package>
<History>
<Update release="8">
<Date>2023-11-04</Date>
<Version>4.12.2</Version>
<Comment>Version bump.</Comment>
<Name>Mustafa Cinasal</Name>
<Email>muscnsl@gmail.com</Email>
</Update>
<History>
<Update release="8">
<Date>2023-11-04</Date>
<Version>4.12.2</Version>
<Comment>Version bump.</Comment>
<Name>Mustafa Cinasal</Name>
<Email>muscnsl@gmail.com</Email>
</Update>
<Update release="7">
<Date>2023-01-28</Date>
<Version>4.12.1</Version>