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]](/theme/icons/blank.svg){kind=icon} | Name | Last modified | Size | Metadata |
|---|---|---|---|---|
![[DIR]](/theme/icons/up.svg){kind=icon} | Parent Directory | - | ||
![[ ]](/theme/icons/package.svg){kind=icon} | cbmc-5.56.0-lp153.1.1.src.rpm | 11-May-2022 08:23 | 7.8M | Details |
| cil-1.7.3-lp153.5.1.src.rpm | 10-May-2022 08:40 | 1.8M | Details |
| complexity-1.10-lp153.17.1.src.rpm | 04-Feb-2022 09:06 | 424K | Details |
| klee-uclibc-1.2-lp153.47.30.src.rpm | 05-Mar-2021 23:06 | 3.0M | Details |
| ltl2ba-1.3-lp153.1.1.src.rpm | 11-May-2022 09:28 | 48K | Details |
| mergesat-3.3.0-lp153.3.1.src.rpm | 10-May-2022 09:07 | 249K | Details |
| metasmt-0.0+20191203-lp153.2.3.src.rpm | 09-May-2022 05:19 | 134K | Details |
| minisat-2.2.1+20200902-lp153.11.1.src.rpm | 16-Mar-2022 10:21 | 56K | Details |
| pmccabe-2.8-lp153.3.2.src.rpm | 27-Jan-2022 09:29 | 75K | Details |
| smatch-1.72+20220506-lp153.25.1.src.rpm | 10-May-2022 13:18 | 1.0M | Details |
| sparse-0.6.4-lp153.46.4.src.rpm | 19-May-2022 18:05 | 393K | Details |
| stp-2.3.3+20220507-lp153.34.1.src.rpm | 26-May-2022 15:02 | 2.1M | Details |
| z3-4.8.17-lp153.79.1.src.rpm | 10-May-2022 14:05 | 5.1M | Details |