SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 
Direcory for vendor obs://build_opensuse_org/home:ptrommler
Display 1 - 40 hits of 574.
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
10
10
11
11

alt-ergo0.95.2-lp150.2.1x86_64Automatic theorem proveropenSUSE Leap 15
alt-ergo0.95.2-2.8x86_64Automatic theorem proveropenSUSE Leap 42
alt-ergo0.95.2-2.624x86_64Automatic theorem proverOpenSuSE
alt-ergo0.95.2-2.624i586Automatic theorem proverOpenSuSE
alt-ergo0.95.2-2.19x86_64Automatic theorem proveropenSUSE Leap 42
apache-rpm-macros20201124-41.1x86_64Apache RPM MacrosOpenSuSE
apache-rpm-macros20201124-41.1x86_64Apache RPM MacrosOpenSuSE
apache-rpm-macros20201124-41.1x86_64Apache RPM MacrosOpenSuSE
apache-rpm-macros20201124-150600.41.2x86_64Apache RPM MacrosOpenSuSE
apache-rpm-macros20201124-150500.41.1x86_64Apache RPM MacrosOpenSuSE
apache-rpm-macros20201124-150400.41.1x86_64Apache RPM MacrosOpenSuSE
apron0.9.11-lp150.14.1x86_64Numerical abstract domain libraryopenSUSE Leap 15
apron0.9.11-14.2x86_64Numerical abstract domain libraryopenSUSE Leap 42
apron0.9.11-14.2x86_64Numerical abstract domain libraryopenSUSE Leap 42
apron0.9.11-14.199x86_64Numerical abstract domain libraryOpenSuSE
apron0.9.11-14.199i586Numerical abstract domain libraryOpenSuSE
apron-devel0.9.11-lp150.14.1x86_64Development files for apronopenSUSE Leap 15
apron-devel0.9.11-14.2x86_64Development files for apronopenSUSE Leap 42
apron-devel0.9.11-14.2x86_64Development files for apronopenSUSE Leap 42
apron-devel0.9.11-14.199i586Development files for apronOpenSuSE
apron-devel0.9.11-14.199x86_64Development files for apronOpenSuSE
bison3.3.2-lp150.77.1x86_64The GNU Parser GeneratoropenSUSE Leap 15
bison3.3.2-77.1x86_64The GNU Parser GeneratoropenSUSE Leap 42
bison3.1-65.1x86_64The GNU Parser GeneratoropenSUSE Leap 42
bison3.0.4-61.7i586The GNU Parser GeneratorOpenSuSE
bison3.0.4-61.7x86_64The GNU Parser GeneratorOpenSuSE
bison-32bit3.0.4-61.7x86_64The GNU Parser GeneratorOpenSuSE
bison-lang3.3.2-lp150.77.1noarchTranslations for package bisonopenSUSE Leap 15
bison-lang3.3.2-77.1noarchLanguages for package bisonopenSUSE Leap 42
bison-lang3.1-65.1noarchLanguages for package bisonopenSUSE Leap 42
bison-lang3.0.4-61.7noarchTranslations for package bisonOpenSuSE
bison-lang3.0.4-61.13noarchTranslations for package bisonOpenSuSE
buildah1.37.4-lp156.3.1x86_64Tool for building OCI containersOpenSuSE
buildah1.37.4-lp155.3.1x86_64Tool for building OCI containersOpenSuSE
coq8.8.2-lp150.41.1x86_64Proof Assistant based on the Calculus of Inductive ConstructopenSUSE Leap 15
coq8.8.2-41.36x86_64Proof Assistant based on the Calculus of Inductive ConstructOpenSuSE
coq8.8.2-41.36i586Proof Assistant based on the Calculus of Inductive ConstructOpenSuSE
coq8.8.2-41.1x86_64Proof Assistant based on the Calculus of Inductive ConstructopenSUSE Leap 42
coq8.7.1-39.1x86_64Proof Assistant based on the Calculus of Inductive ConstructopenSUSE Leap 42
coq-devel8.8.2-lp150.41.1x86_64Development files for The Coq Proof AssistantopenSUSE Leap 15
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
10
10
11
11
  
ICM