+135
-96
@@ -4667,7 +4667,7 @@
|
||||
<Summary xml:lang="tr">Mobil modemler için yönetim katmanı</Summary>
|
||||
<Description xml:lang="en">ModemManager provides a unified high level API for communicating with mobile broadband modems.</Description>
|
||||
<Description xml:lang="tr">ModemManager, 3G ve GSM gibi mobil genişbant modemlerle D-Bus üzerinden iletişimi sağlayan bir sistem hizmetidir.</Description>
|
||||
<Archive type="tarxz" sha1sum="3304a4266bf4b34fbb33d5b22ec5388d3bc590d3" name="ModemManager-1.18.4.tar.xz">http://www.freedesktop.org/software/ModemManager/ModemManager-1.18.4.tar.xz</Archive>
|
||||
<Archive type="tarxz" sha1sum="7e916a86735f89613f50a1d7b5c36fb7b22d9187" name="ModemManager-1.18.8.tar.xz">http://www.freedesktop.org/software/ModemManager/ModemManager-1.18.8.tar.xz</Archive>
|
||||
<BuildDependencies>
|
||||
<Dependency>dbus-devel</Dependency>
|
||||
<Dependency>glib2-devel</Dependency>
|
||||
@@ -4720,6 +4720,8 @@
|
||||
<Path fileType="data">/usr/share/ModemManager/mm-foxconn-t77w968-carrier-mapping.conf</Path>
|
||||
<Path fileType="data">/usr/share/ModemManager/mm-foxconn-t99w175-carrier-mapping.conf</Path>
|
||||
<Path fileType="data">/usr/share/ModemManager/mm-dell-dw5821e-carrier-mapping.conf</Path>
|
||||
<Path fileType="config">/etc/ModemManager/connection.d</Path>
|
||||
<Path fileType="data">/usr/share/ModemManager/connection.available.d/99-log-event</Path>
|
||||
</Files>
|
||||
</Package>
|
||||
<Package>
|
||||
@@ -4727,7 +4729,7 @@
|
||||
<Summary xml:lang="en">Development files for ModemManager</Summary>
|
||||
<Summary xml:lang="tr">ModemManager için geliştirme dosyaları</Summary>
|
||||
<RuntimeDependencies>
|
||||
<Dependency release="17">ModemManager</Dependency>
|
||||
<Dependency release="18">ModemManager</Dependency>
|
||||
</RuntimeDependencies>
|
||||
<Files>
|
||||
<Path fileType="header">/usr/include/ModemManager/</Path>
|
||||
@@ -4754,7 +4756,7 @@
|
||||
<Summary xml:lang="en">Development files for libmm-glib</Summary>
|
||||
<Summary xml:lang="tr">libmm-glib için geliştirme dosyaları</Summary>
|
||||
<RuntimeDependencies>
|
||||
<Dependency release="17">libmm-glib</Dependency>
|
||||
<Dependency release="18">libmm-glib</Dependency>
|
||||
<Dependency>glib2-devel</Dependency>
|
||||
<Dependency>ModemManager-devel</Dependency>
|
||||
</RuntimeDependencies>
|
||||
@@ -4767,13 +4769,20 @@
|
||||
<Name>ModemManager-docs</Name>
|
||||
<Summary xml:lang="en">Development files for ModemManager</Summary>
|
||||
<RuntimeDependencies>
|
||||
<Dependency release="17">ModemManager</Dependency>
|
||||
<Dependency release="18">ModemManager</Dependency>
|
||||
</RuntimeDependencies>
|
||||
<Files>
|
||||
<Path fileType="data">/usr/share/gtk-doc</Path>
|
||||
</Files>
|
||||
</Package>
|
||||
<History>
|
||||
<Update release="18">
|
||||
<Date>2022-05-29</Date>
|
||||
<Version>1.18.8</Version>
|
||||
<Comment>Version bump.</Comment>
|
||||
<Name>Mustafa Cinasal</Name>
|
||||
<Email>muscnsl@gmail.com</Email>
|
||||
</Update>
|
||||
<Update release="17">
|
||||
<Date>2021-11-27</Date>
|
||||
<Version>1.18.4</Version>
|
||||
@@ -43761,7 +43770,7 @@ Gnome session.</Summary>
|
||||
<PartOf>util.misc</PartOf>
|
||||
<Summary xml:lang="en">n³ The unorthodox terminal file manager.</Summary>
|
||||
<Description xml:lang="en">nnn (n³) is a full-featured terminal file manager. It's tiny, nearly 0-config and incredibly fast.</Description>
|
||||
<Archive type="targz" sha1sum="56d30e26b6c10c9bd021358bbcd6f0961fdc6191" name="nnn-v4.1.tar.gz">https://github.com/jarun/nnn/releases/download/v4.1/nnn-v4.1.tar.gz</Archive>
|
||||
<Archive type="targz" sha1sum="5f32dc69571535597db63ed7e094a371866349cc" name="nnn-v4.5.tar.gz">https://github.com/jarun/nnn/releases/download/v4.5/nnn-v4.5.tar.gz</Archive>
|
||||
<BuildDependencies>
|
||||
<Dependency>gcc</Dependency>
|
||||
<Dependency>ncurses-devel</Dependency>
|
||||
@@ -43783,6 +43792,13 @@ Gnome session.</Summary>
|
||||
</Files>
|
||||
</Package>
|
||||
<History>
|
||||
<Update release="2">
|
||||
<Date>2022-05-28</Date>
|
||||
<Version>4.5</Version>
|
||||
<Comment>Version bump.</Comment>
|
||||
<Name>fury</Name>
|
||||
<Email>uglyside@yandex.ru</Email>
|
||||
</Update>
|
||||
<Update release="1">
|
||||
<Date>2022-04-14</Date>
|
||||
<Version>4.1</Version>
|
||||
@@ -59764,10 +59780,11 @@ uses SIMD instructions (MMX, SSE2, etc.) to accelerate baseline JPEG compression
|
||||
<Description xml:lang="tr">Bu kütüphane TIFF (Tag Image File Format) resim biçimi desteği sağlar. Bu biçim resim bilgisi saklamak için pek çok yerde kullanılır.</Description>
|
||||
<Description xml:lang="es">Este software facilita soporte para el formato de imagen etiqueteado (TIFF), un formato para almacenamiento de imágenes de uso común.</Description>
|
||||
<Description xml:lang="pl">Biblioteka do manipulacji plikami w formacie TIFF.</Description>
|
||||
<Archive type="targz" sha1sum="400ff865beb34499633dd1095fe438995e6da707" name="tiff-4.2.0.tar.gz">http://download.osgeo.org/libtiff/tiff-4.2.0.tar.gz</Archive>
|
||||
<Archive type="tarxz" sha1sum="4fdd4cfac284778c5f17eff71d8dac1e87a1f2bc" name="tiff-4.4.0.tar.xz">http://download.osgeo.org/libtiff/tiff-4.4.0.tar.xz</Archive>
|
||||
<BuildDependencies>
|
||||
<Dependency>xz-devel</Dependency>
|
||||
<Dependency>zlib-devel</Dependency>
|
||||
<Dependency>zstd-devel</Dependency>
|
||||
<Dependency>libjpeg-turbo-devel</Dependency>
|
||||
<Dependency>jbigkit-devel</Dependency>
|
||||
</BuildDependencies>
|
||||
@@ -59778,6 +59795,7 @@ uses SIMD instructions (MMX, SSE2, etc.) to accelerate baseline JPEG compression
|
||||
<RuntimeDependencies>
|
||||
<Dependency>xz</Dependency>
|
||||
<Dependency>zlib</Dependency>
|
||||
<Dependency>zstd</Dependency>
|
||||
<Dependency>libjpeg-turbo</Dependency>
|
||||
<Dependency>jbigkit</Dependency>
|
||||
</RuntimeDependencies>
|
||||
@@ -59791,7 +59809,7 @@ uses SIMD instructions (MMX, SSE2, etc.) to accelerate baseline JPEG compression
|
||||
<Summary xml:lang="en">Developement files for tiff</Summary>
|
||||
<Summary xml:lang="tr">tiff için geliştirme dosyaları</Summary>
|
||||
<RuntimeDependencies>
|
||||
<Dependency release="10">tiff</Dependency>
|
||||
<Dependency release="11">tiff</Dependency>
|
||||
</RuntimeDependencies>
|
||||
<Files>
|
||||
<Path fileType="header">/usr/include</Path>
|
||||
@@ -59823,7 +59841,7 @@ uses SIMD instructions (MMX, SSE2, etc.) to accelerate baseline JPEG compression
|
||||
<Dependency>libjpeg-turbo-32bit</Dependency>
|
||||
</BuildDependencies>
|
||||
<RuntimeDependencies>
|
||||
<Dependency release="10">tiff</Dependency>
|
||||
<Dependency release="11">tiff</Dependency>
|
||||
<Dependency>libjpeg-turbo-32bit</Dependency>
|
||||
<Dependency>libgcc</Dependency>
|
||||
<Dependency>xz-32bit</Dependency>
|
||||
@@ -59834,6 +59852,13 @@ uses SIMD instructions (MMX, SSE2, etc.) to accelerate baseline JPEG compression
|
||||
</Files>
|
||||
</Package>
|
||||
<History>
|
||||
<Update release="11">
|
||||
<Date>2022-05-28</Date>
|
||||
<Version>4.4.0</Version>
|
||||
<Comment>Version bump.</Comment>
|
||||
<Name>Mustafa Cinasal</Name>
|
||||
<Email>muscnsl@gmail.com</Email>
|
||||
</Update>
|
||||
<Update release="10">
|
||||
<Date>2021-03-10</Date>
|
||||
<Version>4.2.0</Version>
|
||||
@@ -75952,7 +75977,7 @@ cleaner, which will allow to add new features in the future.</Description>
|
||||
<PartOf>multimedia.misc</PartOf>
|
||||
<Summary xml:lang="en">Sound input/output selector indicator for Linux.</Summary>
|
||||
<Description xml:lang="en">It shows an icon in the indicator area or the system tray (whatever is available in your desktop environment). The icon's menu allows you to switch the current sound input and output (i.e. source ports and sink ports in PulseAudio's terms, respectively) with just two clicks.</Description>
|
||||
<Archive type="targz" sha1sum="b9e271aa7d65a0937df7e9b5bf829397ef42f6ce" name="v2.3.6.tar.gz">https://github.com/yktoo/indicator-sound-switcher/archive/refs/tags/v2.3.6.tar.gz</Archive>
|
||||
<Archive type="targz" sha1sum="83c7cb150b4385df326408c23207b5efa6f8be80" name="v2.3.8.tar.gz">https://github.com/yktoo/indicator-sound-switcher/archive/refs/tags/v2.3.8.tar.gz</Archive>
|
||||
<BuildDependencies>
|
||||
<Dependency>python3-setuptools</Dependency>
|
||||
</BuildDependencies>
|
||||
@@ -75977,6 +76002,13 @@ cleaner, which will allow to add new features in the future.</Description>
|
||||
</Files>
|
||||
</Package>
|
||||
<History>
|
||||
<Update release="2">
|
||||
<Date>2022-05-28</Date>
|
||||
<Version>2.3.8</Version>
|
||||
<Comment>Version bump.</Comment>
|
||||
<Name>fury</Name>
|
||||
<Email>uglyside@yandex.ru</Email>
|
||||
</Update>
|
||||
<Update release="1">
|
||||
<Date>2021-11-04</Date>
|
||||
<Version>2.3.6</Version>
|
||||
@@ -92463,6 +92495,7 @@ Bu Skype SILK codec ve Xiph.Org 's Celt codec teknolojisi dahil RFC 6716 ol
|
||||
<RuntimeDependencies>
|
||||
<Dependency>glib2</Dependency>
|
||||
<Dependency>libxfce4util</Dependency>
|
||||
<Dependency>gsettings-desktop-schemas</Dependency>
|
||||
</RuntimeDependencies>
|
||||
<Files>
|
||||
<Path fileType="executable">/usr/bin</Path>
|
||||
@@ -92491,7 +92524,7 @@ Bu Skype SILK codec ve Xiph.Org 's Celt codec teknolojisi dahil RFC 6716 ol
|
||||
</Package>
|
||||
<History>
|
||||
<Update release="2">
|
||||
<Date>2020-12-24</Date>
|
||||
<Date>2022-05-28</Date>
|
||||
<Version>4.16.0</Version>
|
||||
<Comment>New release.</Comment>
|
||||
<Name>Ali Cengiz Kurt</Name>
|
||||
@@ -94105,7 +94138,6 @@ Bu Skype SILK codec ve Xiph.Org 's Celt codec teknolojisi dahil RFC 6716 ol
|
||||
<Dependency>libxklavier</Dependency>
|
||||
<Dependency>libxfce4util</Dependency>
|
||||
<Dependency>network-manager-applet</Dependency>
|
||||
<Dependency>gsettings-desktop-schemas</Dependency>
|
||||
</RuntimeDependencies>
|
||||
<Files>
|
||||
<Path fileType="config">/etc</Path>
|
||||
@@ -208910,6 +208942,80 @@ It supports email, address books, calendars, tasks, news feeds and much more.</D
|
||||
</Update>
|
||||
</History>
|
||||
</SpecFile>
|
||||
<SpecFile>
|
||||
<Source>
|
||||
<Name>ksudoku</Name>
|
||||
<Homepage>https://apps.kde.org/ksudoku</Homepage>
|
||||
<Packager>
|
||||
<Name>PisiLinux Community</Name>
|
||||
<Email>admins@pisilinux.org</Email>
|
||||
</Packager>
|
||||
<License>GPLv2</License>
|
||||
<IsA>app:gui</IsA>
|
||||
<PartOf>desktop.kde.applications</PartOf>
|
||||
<Summary xml:lang="en">Sudoku game</Summary>
|
||||
<Summary xml:lang="tr">Sudoku oyunu</Summary>
|
||||
<Description xml:lang="en">Ksudoku is a logic-based symbol placement puzzle.</Description>
|
||||
<Description xml:lang="tr">Ksudoku mantık temelli bir sembol yerleştirme oyunudur.</Description>
|
||||
<Icon>ksudoku</Icon>
|
||||
<Archive type="tarxz" sha1sum="4a149e194dee4f61032cf825a7a96a1ffb045e74" name="ksudoku-22.04.1.tar.xz">https://download.kde.org/stable/release-service/22.04.1/src/ksudoku-22.04.1.tar.xz</Archive>
|
||||
<BuildDependencies>
|
||||
<Dependency>qt5-base-devel</Dependency>
|
||||
<Dependency>kio-devel</Dependency>
|
||||
<Dependency>ki18n-devel</Dependency>
|
||||
<Dependency>mesa-glu-devel</Dependency>
|
||||
<Dependency>qt5-svg-devel</Dependency>
|
||||
<Dependency>kcrash-devel</Dependency>
|
||||
<Dependency>libkdegames-devel</Dependency>
|
||||
<Dependency>libgcc</Dependency>
|
||||
<Dependency>kconfig-devel</Dependency>
|
||||
<Dependency>kxmlgui-devel</Dependency>
|
||||
<Dependency>libglvnd-devel</Dependency>
|
||||
<Dependency>kcoreaddons-devel</Dependency>
|
||||
<Dependency>kguiaddons-devel</Dependency>
|
||||
<Dependency>kjobwidgets-devel</Dependency>
|
||||
<Dependency>kconfigwidgets-devel</Dependency>
|
||||
<Dependency>kwidgetsaddons-devel</Dependency>
|
||||
</BuildDependencies>
|
||||
<SourceURI>desktop/kde/applications/ksudoku/pspec.xml</SourceURI>
|
||||
</Source>
|
||||
<Package>
|
||||
<Name>ksudoku</Name>
|
||||
<RuntimeDependencies>
|
||||
<Dependency>qt5-base</Dependency>
|
||||
<Dependency>kio</Dependency>
|
||||
<Dependency>ki18n</Dependency>
|
||||
<Dependency>mesa-glu</Dependency>
|
||||
<Dependency>qt5-svg</Dependency>
|
||||
<Dependency>kcrash</Dependency>
|
||||
<Dependency>libkdegames</Dependency>
|
||||
<Dependency>kconfig</Dependency>
|
||||
<Dependency>kxmlgui</Dependency>
|
||||
<Dependency>libglvnd</Dependency>
|
||||
<Dependency>kcoreaddons</Dependency>
|
||||
<Dependency>kguiaddons</Dependency>
|
||||
<Dependency>kjobwidgets</Dependency>
|
||||
<Dependency>kconfigwidgets</Dependency>
|
||||
<Dependency>kwidgetsaddons</Dependency>
|
||||
</RuntimeDependencies>
|
||||
<Files>
|
||||
<Path fileType="data">/usr/share</Path>
|
||||
<Path fileType="library">/usr/lib</Path>
|
||||
<Path fileType="library">/etc/xdg</Path>
|
||||
<Path fileType="doc">/usr/share/doc</Path>
|
||||
<Path fileType="executable">/usr/bin</Path>
|
||||
</Files>
|
||||
</Package>
|
||||
<History>
|
||||
<Update release="1">
|
||||
<Date>2022-05-30</Date>
|
||||
<Version>22.04.1</Version>
|
||||
<Comment>First release</Comment>
|
||||
<Name>Ali Cengiz Kurt</Name>
|
||||
<Email>alicengizkurt@gmail.com</Email>
|
||||
</Update>
|
||||
</History>
|
||||
</SpecFile>
|
||||
<SpecFile>
|
||||
<Source>
|
||||
<Name>akonadi</Name>
|
||||
@@ -224804,87 +224910,6 @@ It supports email, address books, calendars, tasks, news feeds and much more.</D
|
||||
</Update>
|
||||
</History>
|
||||
</SpecFile>
|
||||
<SpecFile>
|
||||
<Source>
|
||||
<Name>ksudoku</Name>
|
||||
<Homepage>http://games.kde.org</Homepage>
|
||||
<Packager>
|
||||
<Name>PisiLinux Community</Name>
|
||||
<Email>admins@pisilinux.org</Email>
|
||||
</Packager>
|
||||
<License>GPLv2</License>
|
||||
<IsA>app:gui</IsA>
|
||||
<PartOf>desktop.kde.games</PartOf>
|
||||
<Summary xml:lang="en">Sudoku game</Summary>
|
||||
<Summary xml:lang="tr">Sudoku oyunu</Summary>
|
||||
<Description xml:lang="en">Ksudoku is a logic-based symbol placement puzzle.</Description>
|
||||
<Description xml:lang="tr">Ksudoku mantık temelli bir sembol yerleştirme oyunudur.</Description>
|
||||
<Icon>ksudoku</Icon>
|
||||
<Archive type="tarxz" sha1sum="02b863ddededf4b856a423921a1ebd72d54f3067" name="ksudoku-19.08.1.tar.xz">mirrors://kde/stable/applications/19.08.1/src/ksudoku-19.08.1.tar.xz</Archive>
|
||||
<BuildDependencies>
|
||||
<Dependency>extra-cmake-modules</Dependency>
|
||||
<Dependency versionFrom="5.7.1">qt5-base-devel</Dependency>
|
||||
<Dependency versionFrom="5.7.1">qt5-svg-devel</Dependency>
|
||||
<Dependency>kcoreaddons-devel</Dependency>
|
||||
<Dependency>kconfig-devel</Dependency>
|
||||
<Dependency>kdoctools-devel</Dependency>
|
||||
<Dependency>kwindowsystem-devel</Dependency>
|
||||
<Dependency>ki18n-devel</Dependency>
|
||||
<Dependency>kinit-devel</Dependency>
|
||||
<Dependency>kunitconversion-devel</Dependency>
|
||||
<Dependency>kitemmodels-devel</Dependency>
|
||||
<Dependency>kemoticons-devel</Dependency>
|
||||
<Dependency>kconfigwidgets-devel</Dependency>
|
||||
<Dependency>kxmlgui-devel</Dependency>
|
||||
<Dependency>kio-devel</Dependency>
|
||||
<Dependency>knotifyconfig-devel</Dependency>
|
||||
<Dependency>kdesignerplugin</Dependency>
|
||||
<Dependency>libkdegames-devel</Dependency>
|
||||
<Dependency versionFrom="5.7.1">qt5-declarative-devel</Dependency>
|
||||
<Dependency>mesa-devel</Dependency>
|
||||
<Dependency>mesa-glu-devel</Dependency>
|
||||
<Dependency>kjobwidgets-devel</Dependency>
|
||||
<Dependency>kguiaddons-devel</Dependency>
|
||||
</BuildDependencies>
|
||||
<SourceURI>desktop/kde/games/ksudoku/pspec.xml</SourceURI>
|
||||
</Source>
|
||||
<Package>
|
||||
<Name>ksudoku</Name>
|
||||
<RuntimeDependencies>
|
||||
<Dependency>ki18n</Dependency>
|
||||
<Dependency>kconfig</Dependency>
|
||||
<Dependency>kxmlgui</Dependency>
|
||||
<Dependency versionFrom="5.7.1">qt5-svg</Dependency>
|
||||
<Dependency versionFrom="5.7.1">qt5-base</Dependency>
|
||||
<Dependency>kcoreaddons</Dependency>
|
||||
<Dependency>libkdegames</Dependency>
|
||||
<Dependency>kconfigwidgets</Dependency>
|
||||
<Dependency>kwidgetsaddons</Dependency>
|
||||
<Dependency>kio</Dependency>
|
||||
<Dependency>kcrash</Dependency>
|
||||
<Dependency>mesa</Dependency>
|
||||
<Dependency>mesa-glu</Dependency>
|
||||
<Dependency>kjobwidgets</Dependency>
|
||||
<Dependency>kguiaddons</Dependency>
|
||||
</RuntimeDependencies>
|
||||
<Files>
|
||||
<Path fileType="library">/etc/xdg</Path>
|
||||
<Path fileType="data">/usr/share</Path>
|
||||
<Path fileType="library">/usr/lib</Path>
|
||||
<Path fileType="doc">/usr/share/doc</Path>
|
||||
<Path fileType="executable">/usr/bin</Path>
|
||||
</Files>
|
||||
</Package>
|
||||
<History>
|
||||
<Update release="1">
|
||||
<Date>2019-12-23</Date>
|
||||
<Version>19.08.1</Version>
|
||||
<Comment>First release For 2.0</Comment>
|
||||
<Name>Ali Cengiz Kurt</Name>
|
||||
<Email>alicengizkurt@gmail.com</Email>
|
||||
</Update>
|
||||
</History>
|
||||
</SpecFile>
|
||||
<SpecFile>
|
||||
<Source>
|
||||
<Name>grub2-editor</Name>
|
||||
@@ -256351,7 +256376,7 @@ GNOME Session and the applications that run under it.</Summary>
|
||||
<PartOf>programming.tool</PartOf>
|
||||
<Summary xml:lang="en">static analysis of C/C++ code.</Summary>
|
||||
<Description xml:lang="en">Cppcheck is a static analysis tool for C/C++ code. It provides unique code analysis to detect bugs and focuses on detecting undefined behaviour and dangerous coding constructs. The goal is to detect only real errors in the code (i.e. have very few false positives).</Description>
|
||||
<Archive type="tarbz2" sha1sum="2a038875ada9879f6b2eb26d65759266b04cb522" name="cppcheck-2.7.tar.bz2">mirrors://sourceforge/cppcheck/cppcheck-2.7.tar.bz2</Archive>
|
||||
<Archive type="tarbz2" sha1sum="01848d6170812f3993cb35c015c1146b03e5ede2" name="cppcheck-2.8.tar.bz2">mirrors://sourceforge/cppcheck/cppcheck-2.8.tar.bz2</Archive>
|
||||
<BuildDependencies>
|
||||
<Dependency>cmake</Dependency>
|
||||
<Dependency>z3-devel</Dependency>
|
||||
@@ -256400,6 +256425,13 @@ GNOME Session and the applications that run under it.</Summary>
|
||||
</Files>
|
||||
</Package>
|
||||
<History>
|
||||
<Update release="10">
|
||||
<Date>2022-05-28</Date>
|
||||
<Version>2.8</Version>
|
||||
<Comment>Ver. bump</Comment>
|
||||
<Name>fury</Name>
|
||||
<Email>uglyside@yandex.ru</Email>
|
||||
</Update>
|
||||
<Update release="9">
|
||||
<Date>2022-02-05</Date>
|
||||
<Version>2.7</Version>
|
||||
@@ -294625,7 +294657,7 @@ Konuk sanal makinede çalışan okuyucu.</Description>
|
||||
<PartOf>programming.library</PartOf>
|
||||
<Summary xml:lang="en">The Z3 Theorem Prover.</Summary>
|
||||
<Description xml:lang="en">Z3 is a theorem prover from Microsoft Research.</Description>
|
||||
<Archive type="targz" sha1sum="f4443c6beedb46e8a0785529b477b2f811901cc3" name="z3-4.8.12.tar.gz">https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.8.12.tar.gz</Archive>
|
||||
<Archive type="targz" sha1sum="376d377d1e1c4e0d7be112987a1b65ff6b21563c" name="z3-4.8.17.tar.gz">https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.8.17.tar.gz</Archive>
|
||||
<BuildDependencies>
|
||||
<Dependency>cmake</Dependency>
|
||||
<Dependency>ninja</Dependency>
|
||||
@@ -294651,7 +294683,7 @@ Konuk sanal makinede çalışan okuyucu.</Description>
|
||||
<Name>python3-z3</Name>
|
||||
<PartOf>programming.language.python3</PartOf>
|
||||
<RuntimeDependencies>
|
||||
<Dependency release="4">z3</Dependency>
|
||||
<Dependency release="5">z3</Dependency>
|
||||
<Dependency>python3</Dependency>
|
||||
</RuntimeDependencies>
|
||||
<Files>
|
||||
@@ -294661,7 +294693,7 @@ Konuk sanal makinede çalışan okuyucu.</Description>
|
||||
<Package>
|
||||
<Name>z3-devel</Name>
|
||||
<RuntimeDependencies>
|
||||
<Dependency release="4">z3</Dependency>
|
||||
<Dependency release="5">z3</Dependency>
|
||||
</RuntimeDependencies>
|
||||
<Files>
|
||||
<Path fileType="header">/usr/include</Path>
|
||||
@@ -294670,6 +294702,13 @@ Konuk sanal makinede çalışan okuyucu.</Description>
|
||||
</Files>
|
||||
</Package>
|
||||
<History>
|
||||
<Update release="5">
|
||||
<Date>2022-05-28</Date>
|
||||
<Version>4.8.17</Version>
|
||||
<Comment>Version bump.</Comment>
|
||||
<Name>fury</Name>
|
||||
<Email>uglyside@yandex.ru</Email>
|
||||
</Update>
|
||||
<Update release="4">
|
||||
<Date>2021-10-11</Date>
|
||||
<Version>4.8.12</Version>
|
||||
|
||||
@@ -1 +1 @@
|
||||
0ef4e14568aea1b522f188c0b71e21449465f8fe
|
||||
799358e3a479366a91b34b23f3442a8f19a4a701
|
||||
Binary file not shown.
@@ -1 +1 @@
|
||||
47053f9d18f0e6346183a077de0e286038b364fe
|
||||
d99d94deb49c9be5b5f1904aa32c34cba4c174c3
|
||||
Reference in New Issue
Block a user