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-1.7.src.rpm | 31-May-2022 09:07 | 7.8M | Details |
| cil-1.7.3-5.5.src.rpm | 30-May-2022 08:49 | 1.8M | Details |
| complexity-1.10-17.14.src.rpm | 31-May-2022 08:44 | 424K | Details |
| klee-2.3+20220506-111.6.src.rpm | 31-May-2022 09:09 | 811K | Details |
| klee-uclibc-1.3-55.4.src.rpm | 30-May-2022 08:32 | 3.0M | Details |
| ltl2ba-1.3-1.7.src.rpm | 31-May-2022 08:41 | 48K | Details |
| mergesat-3.3.0-3.8.src.rpm | 31-May-2022 08:40 | 249K | Details |
| metasmt-0.0+20191203-2.14.src.rpm | 31-May-2022 09:12 | 135K | Details |
| minisat-2.2.1+20200902-11.12.src.rpm | 31-May-2022 08:09 | 56K | Details |
| pmccabe-2.8-3.15.src.rpm | 31-May-2022 08:47 | 75K | Details |
| smatch-1.72+20220506-25.5.src.rpm | 31-May-2022 08:46 | 1.0M | Details |
| sparse-0.6.4-46.20.src.rpm | 24-Jun-2022 11:58 | 393K | Details |
| stp-2.3.3+20220507-34.7.src.rpm | 20-Jun-2022 20:36 | 2.1M | Details |
| z3-4.8.17-79.9.src.rpm | 20-Jun-2022 20:42 | 5.1M | Details |