If you have a server with some space left, and want to help with making the openSUSE experience better for other users, become a mirror!

This is the download area of the openSUSE distributions and the openSUSE Build Service. If you are searching for a specific package for your distribution, we recommend to use our Software Portal instead.

[ICO]NameLast modifiedSizeMetadata

[DIR]Parent Directory  -  
[   ]cbmc-5.56.0-lp153.1.1.aarch64.rpm11-May-2022 08:23 9.1M Details
[   ]cbmc-debuginfo-5.56.0-lp153.1.1.aarch64.rpm11-May-2022 08:23 159M Details
[   ]cbmc-debugsource-5.56.0-lp153.1.1.aarch64.rpm11-May-2022 08:23 1.6M Details
[   ]complexity-1.10-lp153.17.1.aarch64.rpm04-Feb-2022 10:00 65K Details
[   ]complexity-debuginfo-1.10-lp153.17.1.aarch64.rpm04-Feb-2022 10:00 38K Details
[   ]complexity-debugsource-1.10-lp153.17.1.aarch64.rpm04-Feb-2022 10:00 34K Details
[   ]libmergesat2-3.3.0-lp153.3.1.aarch64.rpm10-May-2022 09:08 123K Details
[   ]libmergesat2-debuginfo-3.3.0-lp153.3.1.aarch64.rpm10-May-2022 09:08 523K Details
[   ]libmetaSMT4_0-0.0+20191203-lp153.2.3.aarch64.rpm09-May-2022 05:38 41K Details
[   ]libmetaSMT4_0-debuginfo-0.0+20191203-lp153.2.3.aarch64.rpm09-May-2022 05:38 44K Details
[   ]libminisat2-2.2.1+20200902-lp153.11.1.aarch64.rpm16-Mar-2022 10:18 44K Details
[   ]libminisat2-debuginfo-2.2.1+20200902-lp153.11.1.aarch64.rpm16-Mar-2022 10:18 129K Details
[   ]libstp2_3-2.3.3+20220507-lp153.34.1.aarch64.rpm01-Jun-2022 09:35 642K Details
[   ]libstp2_3-debuginfo-2.3.3+20220507-lp153.34.1.aarch64.rpm01-Jun-2022 09:35 4.4M Details
[   ]libz3-4_8-4.8.17-lp153.79.1.aarch64.rpm10-May-2022 13:51 6.6M Details
[   ]libz3-4_8-debuginfo-4.8.17-lp153.79.1.aarch64.rpm10-May-2022 13:51 67M Details
[   ]ltl2ba-1.3-lp153.1.1.aarch64.rpm11-May-2022 09:28 40K Details
[   ]ltl2ba-debuginfo-1.3-lp153.1.1.aarch64.rpm11-May-2022 09:28 48K Details
[   ]ltl2ba-debugsource-1.3-lp153.1.1.aarch64.rpm11-May-2022 09:28 30K Details
[   ]mergesat-3.3.0-lp153.3.1.aarch64.rpm10-May-2022 09:08 33K Details
[   ]mergesat-debuginfo-3.3.0-lp153.3.1.aarch64.rpm10-May-2022 09:08 152K Details
[   ]mergesat-debugsource-3.3.0-lp153.3.1.aarch64.rpm10-May-2022 09:08 110K Details
[   ]mergesat-devel-3.3.0-lp153.3.1.aarch64.rpm10-May-2022 09:08 62K Details
[   ]metasmt-0.0+20191203-lp153.2.3.aarch64.rpm09-May-2022 05:38 42K Details
[   ]metasmt-debugsource-0.0+20191203-lp153.2.3.aarch64.rpm09-May-2022 05:38 40K Details
[   ]metasmt-devel-0.0+20191203-lp153.2.3.aarch64.rpm09-May-2022 05:38 86K Details
[   ]minisat-2.2.1+20200902-lp153.11.1.aarch64.rpm16-Mar-2022 10:18 23K Details
[   ]minisat-debuginfo-2.2.1+20200902-lp153.11.1.aarch64.rpm16-Mar-2022 10:18 56K Details
[   ]minisat-debugsource-2.2.1+20200902-lp153.11.1.aarch64.rpm16-Mar-2022 10:18 47K Details
[   ]minisat-devel-2.2.1+20200902-lp153.11.1.aarch64.rpm16-Mar-2022 10:18 35K Details
[   ]pmccabe-2.8-lp153.3.2.aarch64.rpm27-Jan-2022 13:35 46K Details
[   ]pmccabe-debuginfo-2.8-lp153.3.2.aarch64.rpm27-Jan-2022 13:35 14K Details
[   ]python3-stp-2.3.3+20220507-lp153.34.1.aarch64.rpm01-Jun-2022 09:35 29K Details
[   ]python3-z3-4.8.17-lp153.79.1.aarch64.rpm10-May-2022 13:51 143K Details
[   ]smatch-1.72+20220506-lp153.25.1.aarch64.rpm10-May-2022 14:26 1.0M Details
[   ]smatch-debuginfo-1.72+20220506-lp153.25.1.aarch64.rpm10-May-2022 14:26 1.2M Details
[   ]smatch-debugsource-1.72+20220506-lp153.25.1.aarch64.rpm10-May-2022 14:26 456K Details
[   ]sparse-0.6.4-lp153.46.4.aarch64.rpm19-May-2022 18:06 231K Details
[   ]sparse-debuginfo-0.6.4-lp153.46.4.aarch64.rpm19-May-2022 18:06 478K Details
[   ]sparse-debugsource-0.6.4-lp153.46.4.aarch64.rpm19-May-2022 18:06 189K Details
[   ]sparse-inspect-0.6.4-lp153.46.4.aarch64.rpm19-May-2022 18:06 176K Details
[   ]sparse-inspect-debuginfo-0.6.4-lp153.46.4.aarch64.rpm19-May-2022 18:06 341K Details
[   ]stp-2.3.3+20220507-lp153.34.1.aarch64.rpm01-Jun-2022 09:35 71K Details
[   ]stp-debuginfo-2.3.3+20220507-lp153.34.1.aarch64.rpm01-Jun-2022 09:35 802K Details
[   ]stp-debugsource-2.3.3+20220507-lp153.34.1.aarch64.rpm01-Jun-2022 09:35 752K Details
[   ]stp-devel-2.3.3+20220507-lp153.34.1.aarch64.rpm01-Jun-2022 09:35 37K Details
[   ]z3-4.8.17-lp153.79.1.aarch64.rpm10-May-2022 13:51 6.7M Details
[   ]z3-debuginfo-4.8.17-lp153.79.1.aarch64.rpm10-May-2022 13:51 68M Details
[   ]z3-debugsource-4.8.17-lp153.79.1.aarch64.rpm10-May-2022 13:51 3.0M Details
[   ]z3-devel-4.8.17-lp153.79.1.aarch64.rpm10-May-2022 13:51 138K Details