SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 
Direcory for vendor obs://build_opensuse_org/home:lorenz
Display 1 - 40 hits of 599.
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-3.346x86_64Automatic theorem proveropenSUSE Tumbleweed
alt-ergo0.95.2-3.2x86_64Automatic theorem proverOpenSuSE
alt-ergo0.95.2-3.1x86_64Automatic theorem proveropenSUSE Leap 42
amtterm1.6-5.3x86_64Serial-over-lan (sol) client for Intel AMTopenSUSE Tumbleweed
amtterm-gtk1.6-5.3x86_64Serial-over-lan (sol) graphical clientopenSUSE Tumbleweed
apron0.9.11-15.53x86_64Numerical abstract domain libraryopenSUSE Tumbleweed
apron0.9.11-15.1x86_64Numerical abstract domain libraryopenSUSE Leap 42
apron0.9.10-5.4x86_64Numerical abstract domain libraryOpenSuSE
apron-devel0.9.11-15.53x86_64Development files for apronopenSUSE Tumbleweed
apron-devel0.9.11-15.1x86_64Development files for apronopenSUSE Leap 42
apron-devel0.9.10-5.4x86_64Development files for apronOpenSuSE
autoconf2.69-53.1noarchA GNU Tool for Automatically Configuring Source CodeOpenSuSE
automake1.15-71.1noarchA Program for Automatically Generating GNU-Style Makefile.inOpenSuSE
blacs-devel-headers2.0.2-35.1x86_64Development headers for BLACSOpenSuSE
blacs-devel-headers2.0.2-35.1x86_64Development headers for BLACSOpenSuSE
blacs-devel-headers2.0.2-35.1x86_64Development headers for BLACSOpenSuSE
blacs-devel-headers2.0.2-27.1x86_64Development headers for BLACSOpenSuSE
blas-devel3.5.0-73.1x86_64Basic Linear Algebra SubprogramsOpenSuSE
blas-devel-static3.5.0-73.1x86_64Basic Linear Algebra SubprogramsOpenSuSE
bzr2.7.0-45.1x86_64Friendly distributed version control systemOpenSuSE
bzr-lang2.7.0-45.1noarchLanguages for package bzrOpenSuSE
bzr-test2.7.0-45.1x86_64Friendly distributed version control system - TestsuiteOpenSuSE
CAMotics1.1.1-1.59x86_64A software which simulates 3-axis CNC milling or engravingopenSUSE Tumbleweed
cbang1.2.0-1.9x86_64C! (cbang) is a library of cross-platform C++ utilitiesopenSUSE Tumbleweed
coin-or-CoinUtils-devel2.11.10-2.1x86_64Development headers for coin-or-CoinUtilsopenSUSE Tumbleweed
colmap3.9.1-2.11x86_64Structure-from-Motion and Multi-View StereoopenSUSE Tumbleweed
colmap-devel3.9.1-2.11x86_64Developent headers for colmapopenSUSE Tumbleweed
coq8.8.2-49.31x86_64Proof Assistant based on the Calculus of Inductive ConstructopenSUSE Tumbleweed
coq8.8.2-49.1x86_64Proof Assistant based on the Calculus of Inductive ConstructopenSUSE Leap 42
coq8.7.1-47.1x86_64Proof Assistant based on the Calculus of Inductive ConstructopenSUSE Leap 42
coq8.6-43.7x86_64The Coq Proof AssistantOpenSuSE
coq-devel8.8.2-49.31x86_64Development files for The Coq Proof AssistantopenSUSE Tumbleweed
coq-devel8.8.2-49.1x86_64Development files for The Coq Proof AssistantopenSUSE Leap 42
coq-devel8.7.1-47.1x86_64Development files for The Coq Proof AssistantopenSUSE Leap 42
coq-devel8.6-43.7x86_64Development files for The Coq Proof AssistantOpenSuSE
coq-ide8.8.2-49.31x86_64IDE for The Coq Proof AssistantopenSUSE Tumbleweed
coq-ide8.8.2-49.1x86_64IDE for The Coq Proof AssistantopenSUSE Leap 42
coq-ide8.7.1-47.1x86_64IDE for The Coq Proof AssistantopenSUSE Leap 42
coq-ide8.6-43.7x86_64IDE for The Coq Proof AssistantOpenSuSE
cross-msp430-binutils2.31-346.1x86_64GNU BinutilsopenSUSE Tumbleweed
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
10
10
11
11
  
ICM